Teoria automatów: Różnice pomiędzy wersjami
Wygląd
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m drobne merytoryczne, szablon |
AndrzeiBOT (dyskusja | edycje) m Bot poprawia ujednoznacznienia (plus drobne typograficzne) |
||
Linia 1: | Linia 1: | ||
'''Teoria automatów''' – dziedzina [[informatyka|informatyki]] zajmująca się badaniem automatów, czyli modeli [[maszyna licząca|maszyn liczących]]. |
'''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 |
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 formalny|języków formalnych]] i [[Gramatyka formalna|gramatyk formalnych]]. |
||
{{Języki formalne i gramatyki}} |
{{Języki formalne i gramatyki}} |
Wersja z 20:47, 9 lut 2018
Teoria automatów – dziedzina informatyki zajmująca się badaniem automatów, czyli 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 i gramatyk formalnych.