Teoria automatów

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

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.