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

'''Konečný automat''' ('''KA''', též '''FSM''' z anglického ''finite state machine'', či '''DFA''' z anglického ''deterministic finite automaton'') 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]].