Part 1

Mathematical Strings

Formal specifications use mathematical models and their combinations. 

One of the important models that is commonly used is mathematical string. 

In mathematical terms, a string is a set of entities following one another in a certain sequence.  And as such, a number of operations can be performed on such sequences.  To name just a few — two strings can be joined together to create a new string, strings can be split to create two or more strings, substrings can be extracted, and their length can be measured. 

Several String Theory notations will be discussed on the following pages of the tutorial.