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

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
PG (dyskusja | edycje)
drobne redakcyjne
m drobne merytoryczne, szablon
Linia 1:
'''Teoria automatów''' – dziedzina [[informatyka|informatyki]] zajmująca się badaniem automatów, czyli 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]].
 
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ęzykJęzyk formalny|teorią języków formalnych]] i [[Gramatyka formalna|gramatyk formalnych]].
 
{{Języki formalne i gramatyki}}
[[Kategoria:Teoria automatów| ]]