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

'''Teoria automatów''' to dziedzina [[informatyka|informatyki]] zajmumącazajmująca się badaniem automatów - modeli maszyn liczących. Podstawowym modelem rozważanym w t.a.teorii automatów jest [[automat skończony]] w różnych wersjach oraz jego rozszerzenia: [[Maszyna RAM]], [[Maszyna Turinga]], [[Maszyna wskaźnikowa]] i inne. Istnieje związek t.a.teorii automatów z [[Język formalny|teorią języków formalnych]].