Slovo (teória automatov)

Nech je daná abeceda $\mathrm{\Sigma }$. Slovom nad abecedou $\mathrm{\Sigma }$ myslíme ľubovoľnú konečnú postupnosť symbolov z abecedy $\mathrm{\Sigma }$. Prázdnu postupnosť symbolov nazývame prázdne slovo a označujeme ho $\epsilon$. Slová zvyčajne označujeme malými latinskými písmenami z konca abecedy (typicky u,v,w,x,y,z).

Príklady

Majme abecedu $\mathrm{\Sigma }=\{a,b,c\}$. Potom napríklad $\epsilon ,a,aa,ab,b,aabb,abc,abcba$ sú platné slová nad touto abecedou.

Vlastnosti a operácie na slovách

Dĺžkou slova $w$ označujeme dĺžku postupnosti, ktorou je tvorené.

Podslovo slova $w$ je ľubovoľná súvislá podpostupnosť postupnosti, ktorá vytvára slovo $w$.

TODO: Zretazenie, reverz, prefix, sufix.