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

'''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ího analyzátoru v [[překladač]]ích. V informatice rozlišujeme automat [[Mealyho_automat | Mealyho]] a [[Mooreův stroj|Mooreův]].