Strings

A string is an ordered sequence of symbols from a finite alphabet. The alphabet is denoted with the Set notation (a set of possible symbols to use as an alphabet). Length is specified as the superscript, but if it is unlimited, then it is denoted with an asterisk ∗*.

Example

01101011∈{0,1}∗01101011 \in \{0,1\}^* cba∈{a,b,c}3cba \in \{a,b,c\}^3 ++++−−∉{+,−}2++++-- \notin \{+,-\}^2