→Úprava definice konečného automatu, kde poslední člen pětice je konečná množina stavů. Zdroj: https://en.wikipedia.org/wiki/Finite-state_machine
(→Znázornění konečného automatu: upřesněno znázornění počátečního stavu) |
značky: editace z Vizuálního editoru školní IP |
||
== Formální definice ==
Formálně je konečný automat definován jako [[uspořádaná n-tice|uspořádaná pětice]] <math>\left( S, \Sigma, \sigma, s,
* ''S'' je konečná neprázdná množina ''stavů''.
* ''Σ'' je konečná neprázdná množina vstupních symbolů, nazývaná ''[[abeceda]]''.
* ''σ'' je tzv. ''přechodová funkce'' (též ''přechodová tabulka''), popisující pravidla přechodů mezi stavy. Může mít buď podobu ''S'' × ''Σ'' → ''S'' (deterministický automat), nebo ''S'' × {''Σ'' ∪ ε} → ''[[potenční množina|P]](S)'' (nedeterministický automat), viz níže.
* ''s'' je ''počáteční stav'', ''s'' ∈ ''S''.
*
== Popis činnosti automatu ==
|