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

Odebrány 3 bajty ,  před 6 lety
bez shrnutí editace
m (commonscat, Externí odkazy)
Bez shrnutí editace
* ''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žinapravděpodobnost|P]](S)'' (nedeterministický automat), viz níže.
* ''s'' je ''počáteční stav'', ''s'' ∈ ''S''.
* ''A'' je množina ''přijímajících stavů'', ''A'' ⊆ ''S''.
Neregistrovaný uživatel