Konečný automat: Porovnání verzí

Přidáno 18 bajtů ,  před 2 lety
→‎Formální definice: úprava pojmu, aby nehrozila záměna s „konečnou množinou stavů“ (angl. finite vs. final)
značky: editace z Vizuálního editoru školní IP
(→‎Formální definice: úprava pojmu, aby nehrozila záměna s „konečnou množinou stavů“ (angl. finite vs. final))
* ''σ'' 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''.
* F je množina ''konečnýchfinálních (akceptujících) stavů'', F ⊆ ''S''.
 
== Popis činnosti automatu ==