Slovo (teória automatov)

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

Vlastnosti a operácie na slovách

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

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

TODO: Zretazenie, reverz, prefix, sufix.