Zobrazenie zdroja stránky Slovo (teória automatov)

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

== Vlastnosti a operácie na slovách ==

''Dĺžkou slova <math>w</math>'' označujeme dĺžku postupnosti, ktorou je tvorené.

''Podslovo slova <math>w</math>'' je ľubovoľná súvislá [[podpostupnosť]] postupnosti, ktorá vytvára slovo <math>w</math>.

TODO: Zretazenie, reverz, prefix, sufix.

[[Kategória:Formálne jazyky]]
[[Kategória:Jazykoveda]]