Wersja z 20:48, 6 maj 2015 edytuj Daroooo (dyskusja \| edycje) Redaktorzy 7642 edycje m drobne merytoryczne, szablon Znacznik: VisualEditor ← poprzednia edycja		Wersja z 20:47, 9 lut 2018 edytuj anuluj edycję AndrzeiBOT (dyskusja \| edycje) Boty 391 617 edycji m Bot poprawia ujednoznacznienia (plus drobne typograficzne) następna edycja →
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~~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 formalny\|języków formalnych]] i [[Gramatyka formalna\|gramatyk formalnych]]. {{Języki formalne i gramatyki}}

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