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

Dodane 2 bajty ,  4 lata temu
m
Bot poprawia ujednoznacznienia (plus drobne typograficzne)
m (drobne merytoryczne, szablon)
m (Bot poprawia ujednoznacznienia (plus drobne typograficzne))
'''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'aMoore’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 formalny|języków formalnych]] i [[Gramatyka formalna|gramatyk formalnych]].
 
{{Języki formalne i gramatyki}}
328 078

edycji