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

'''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: [[Maszyna RAM]], [[Maszyna Turinga]], [[Maszyna wskaźnikowa]] i inne. Istnieje związek teorii automatów z [[Język formalny|teorią języków formalnych]].