Teoria automatów
Z Wikipedii
Teoria automatów to dziedzina informatyki zajmująca się badaniem automatów - modeli 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 teorią języków formalnych.