Konečný automat: Porovnání verzí
Smazaný obsah Přidaný obsah
m Editace uživatele 91.229.254.6 (diskuse) vráceny do předchozího stavu, jehož autorem je EmausBot |
|||
Řádek 41:
Pro úplnost: tento konečný automat přijímá regulární jazyk řetězců, které vyjadřují [[dvojková soustava|binární]] číslo dělitelné beze zbytku třemi. Číslo 1011<sub>2</sub> = 11<sub>10</sub>, číslo, které není dělitelné třemi (má zbytek 2, odpovídající výslednému stavu S<sub>2</sub>).
== Znázornění konečného automatu ==
Místo relativně nepřehledného (zvláště pro větší automaty) popisu konečného automatu přímo tabulkou se obvykle používá grafické znázornění, na kterém kolečka znázorňují jednotlivé stavy a šipky (s přidruženým vstupním symbolem) mezi těmito kolečky popisují jednotlivé přechody. Příklad takového znázornění pro předchozí ukázkový automat je na obrázku:
[[Soubor:DFA example multiplies of 3.svg|500px|center|Ukázkové schéma automatu]]
Dvojité kolečko označuje přijímající stavy (v našem případě pouze jeden, S<sub>0</sub>), počáteční stav je označen šipkou, někdy s připsaným textem, např. ''START''. (Tato notace není jediná, jindy se např. koncové stavy označují tlustším orámováním a dvojité kolečko označuje počáteční stav apod.)
== Odkazy ==
| |||