Teoria automatów: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
Nie podano opisu zmian |
m drobne redakcyjne |
||
Linia 1:
'''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: [[Maszyna RAM]], [[Maszyna Turinga]], [[Maszyna wskaźnikowa]] i inne. Istnieje związek teorii automatów z [[Język formalny|teorią języków formalnych]]. {{informatyka stub}}
|