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

Smazaný obsah Přidaný obsah
→‎top: -kecy, reformulace
→‎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 ==