Tyto zápisky jsou z přednášek Ing. Petra Ambrože, Ph.D.
U zkoušky chce jen základní myšlenku, ne přesné kroky.
Zatím jsme hrany ohodnocovali jen písmeny. Změnilo by se něco, kdybychom umožnili je ohodnocovat slovy? Hrana ohodnocená neprázdným slovem je zjevně ekvivalentní posloupnosti několika hran, které se nijak nevětví. Jediné, co by nám mohlo teorii rozbít, jsou tedy hrany s prázdným slovem. Ty v praxi bývají často užitečné, ovšem ukážeme si, že co se týče rozeznávání jazyků, jsou ekvivalentní.
TBD: dokreslit obrázek
Když z výsledného automatu odstraníme zbytečné vrcholy, vidíme, že rozeznává jazyk .