Teoria automatów: Różnice pomiędzy wersjami
Wygląd
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
AndrzeiBOT (dyskusja | edycje) m Bot poprawia ujednoznacznienia (plus drobne typograficzne) |
m wstawiam Szablon:Kontrola autorytatywna |
||
Linia 4: | Linia 4: | ||
{{Języki formalne i gramatyki}} |
{{Języki formalne i gramatyki}} |
||
{{Kontrola autorytatywna}} |
|||
[[Kategoria:Teoria automatów| ]] |
[[Kategoria:Teoria automatów| ]] |
||
Wersja z 18:39, 12 sie 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.