Automaty (obsah)

Konečný automat je rozpoznávací funkcí, která určí, zda-li zadaný vstup patří do daného regulárního jazyka (výstup: true, false). Občas je ale zapotřebí navíc získat určitý komplexní výstup, který není binární (např. překlad vstupního řetězce nebo výpočet na jeho základě). Proto je zapotřebí konečný automat obohatit na přechodových hranách o funkce, které se při průchodu automatem provedou. Tímto způsobem vznikne konečný překladový automat. Příkl...

Nedeterministický a deterministický konečný automat Deterministický konečný automat (DKA, Deterministic finite automaton, DFA) je automat, který má konečné množství stavů a každý přechod je jednoznačný (neexistuje více možností přechodu z daného uzlu do jiných uzlů). Nedeterministický konečný automat (NKA, Non-deterministic finite automaton, NDFA) tuto podmínku nerespektuje, je zde tedy více možností, ka...