Slovo (teória automatov)

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

Príklady

upraviť

Majme abecedu  . Potom napríklad   sú platné slová nad touto abecedou.

Vlastnosti a operácie na slovách

upraviť

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

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

TODO: Zretazenie, reverz, prefix, sufix.