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 

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

Vlastnosti a operácie na slovách 

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.

Formálne jazyky
Jazykoveda