Teoria automatów: Różnice pomiędzy wersjami

drobne redakcyjne
m (Bot: Przenoszę linki interwiki (25) do Wikidata, są teraz dostępne do edycji na d:q214526)
(drobne redakcyjne)
'''Teoria automatów''' - to dziedzina [[informatyka|informatyki]] zajmująca się badaniem automatów - modeli [[maszyna licząca|maszyn liczących]].
 
Podstawowym modelem rozważanym w teorii automatów jest [[automat skończony]] ([[automat Moore'a]]) w różnych wersjach oraz jego rozszerzenia: [[Maszynamaszyna RAM]], [[Maszynamaszyna Turinga]], [[Maszynamaszyna wskaźnikowa]] i inne. Istnieje związek teorii automatów z [[Językjęzyk formalny|teorią języków formalnych]].