Konečný automat: Porovnání verzí
Smazaný obsah Přidaný obsah
Bez shrnutí editace značka: přepnuto z Vizuálního editoru |
→Znázornění konečného automatu: upřesněno znázornění počátečního stavu |
||
Řádek 46:
[[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 směřující z volného prostoru k počátečnímu stavu (v našem případě je jím tedy S<sub>0</sub>), 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.)
=== Zadání konečného automatu ===
| |||