Konečný automat: Porovnání verzí
Smazaný obsah Přidaný obsah
→top: -kecy, reformulace značka: editace z Vizuálního editoru |
→Znázornění konečného automatu: zadani pomoci reg. vyrazu |
||
Řádek 47:
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.)
=== Zadání konečného automatu ===
Automat se zadává také pomocí [[regulární výraz|regulárního výrazu]], jejichž formalizmus má stejnou vyjadřovací sílu. Regulární výrazy (s rozšířeními) se používají v praxi pro zadávání automatů počítačům. (Častěji než tabulka nebo obrázek.)
== Odkazy ==
|