Teoria automatów

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

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.