Wikipedie

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

Interaktivně procházet historii
← Přejít na předchozí porovnáníPřejít na další porovnání →
Smazaný obsah Přidaný obsah
VizuálníWikitext
→‎Znázornění konečného automatu: upřesněno znázornění počátečního stavu
značky: školní IP editace z Vizuálního editoru
Řádek 2:
 
== 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, AF \right)</math>, kde:
* ''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''&nbsp;× ''Σ''&nbsp;→ ''S'' (deterministický automat), nebo ''S''&nbsp;× {''Σ''&nbsp;∪ ε}&nbsp;→ ''[[potenční množina|P]](S)'' (nedeterministický automat), viz níže.
* ''s'' je ''počáteční stav'', ''s''&nbsp;∈ ''S''.
* ''A''F je množina ''přijímajícíchkonečných stavů'', ''A''F&nbsp;⊆ ''S''.
 
== Popis činnosti automatu ==
Citováno z „https://cs.wikipedia.org/wiki/Konečný_automat“