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: [[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]].