Definizioni Introduttive
Aflabeto: insieme finito e non vuoto di simboli. Si usa Σ quando ci si riferisce a questo inseieme.
Stringa su Σ: sequenza finita di simboli di Σ.Esempio
se Σ={a,b}
le stringhe che posso comporre su Σ sono: a,b,aa,ab,abb,ababa,eccEsempio
Σ={a,b}
w (stringa su Σ) = abba
|w| = 4