Slovo (teória automatov)

Nech je daná abeceda $\Sigma$. Slovom nad abecedou $\Sigma$ myslíme ľubovoľnú konečnú postupnosť symbolov z abecedy $\Sigma$. Prázdnu postupnosť symbolov nazývame prázdne slovo a označujeme ho $\varepsilon$. 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 $\Sigma =\{a,b,c\}$. Potom napríklad $\varepsilon ,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.