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

Přidáno 25 bajtů ,  před 14 lety
m
odkaz
(odkaz na automaty Moore a Mealy)
m (odkaz)
'''Konečný automat''' ('''KA''', též '''FSM''' z anglického ''finite state machine'') je teoretický [[výpočetní model]] používaný v [[informatika|informatice]] pro studium [[vyčíslitelnost]]i a obecně [[formální jazyk|formálních jazyků]]. Popisuje velice jednoduchý [[počítač]], který může být v jednom z několika stavů, mezi kterými přechází na základě symbolů, které čte ze vstupu. [[Množina]] stavů je konečná (odtud název), konečný automat nemá žádnou další paměť kromě informace o aktuálním stavu. Konečný automat je velice jednoduchý výpočetní model, dokáže rozpoznávat pouze [[regulární jazyk]]y. Konečné automaty se používají pro zpracování [[regulární výraz|regulárních výrazů]], např. jako součást [[Lexikální analýza|lexikálního analyzátoru]] v [[překladač]]ích. V informatice rozlišujeme automat [[Mealyho_automat | Mealyho]] a [[Mooreův stroj|Mooreův]].
 
== Formální definice ==
4 515

editací