Θεωρία αυτομάτων: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
αρχή μετάφρασης |
Πίνακας με κατηγορίες |
||
Γραμμή 10:
Τα αυτόματα παίζουν σημαντικό ρόλο στη [[θεωρία υπολογισμού]], τη σχεδίαση [[μεταγλωττιστής|μεταγλωττιστών]], και την [[τυπική επαλήθευση]].
== Κατηγορίες Αυτομάτων ==
Παρακάτω είναι μια ατελής λίστα με τους τύπους των αυτομάτων.
{| class="wikitable"
|-
! Αυτόματα
! Αναγνωρίσιμη γλώσσα
|-
| [[Ντετερμινιστικά πεπερασμένα αυτόματα]](DFA)
| [[Κανονική γλώσσα|Κανονικές γλώσσες]]
|-
| [[Μη ντετερμινιστικά πεπερασμένα αυτόματα]](NFA)
| Κανονικές γλώσσες
|-
| Μη ντετερμινιστικά πεπερασμένα αυτόματα με ε-μεταβάσεις (FND-ε or ε-NFA)
| Κανονικές γλώσσες
|-
| [[Αυτόματα με στοίβα]](PDA)
| [[Γλώσσες χωρίς συμφραζόμενα]]
|-
| [[Γραμμικά περιορισμένα αυτόματα]](LBA)
| [[Γλώσσες με συμφραζόμενα]]
|-
| [[Μηχανή Τούρινγκ|Μηχανές Τούρινγκ]]
| [[Αναδρομικά απαριθμήσιμη γλώσσα|Αναδρομικά απαριθμήσιμες γλώσσες]]
|-
| [[Χρονικό αυτόματο|Χρονικά αυτόματα]]
|
|-
| [[Αυτόματο Büchi|Ντετερμινιστικά Αυτόματα Büchi]]
| [[Ωμέγα-περιορισμένες γλώσσες]]
|-
| Μη ντετερμινιστικά αυτόματα Büchi
| [[Ωμέγα-κανονική γλώσσα|Ωμέγα-κανονικές γλώσσες]]
|-
| [[Αυτόματο Rabin|Μη ντετερμινιστικά/ντετερμινιστικά αυτόματα Rabin]]
| Ωμέγα-κανονικές γλώσσες
|-
| [[Αυτόματο Streett|Αυτόματα Streett]]
| Ωμέγα-κανονικές γλώσσες
|-
| [[Αυτόματο ισοτιμιας|Αυτόματα ισοτιμίας]]
| Ωμέγα-κανονικές γλώσσες
|-
| [[Αυτόματο Muller|Αυτόματα Muller]]
| Ωμέγα-κανονικές γλώσσες
|}
{{Ενσωμάτωση κειμένου|en|Automata theory}}
[[en:Automata theory]]
[[ar:نظرية التشغيل الذاتي]]
[[de:Automatentheorie]]
[[es:Teoría de autómatas]]
[[fa:نظریه اتوماتا]]
[[fr:Théorie des automates]]
[[ko:오토마타 이론]]
[[hr:Teorija automata]]
[[it:Automa (informatica)]]
[[he:תורת האוטומטים]]
[[hu:Absztrakt automata]]
[[mk:Теорија на автоматите]]
[[ja:オートマトン]]
[[no:Automatteori]]
[[nn:Automatteori]]
[[pl:Teoria automatów]]
[[pt:Teoria dos autômatos]]
[[ro:Teoria automatelor]]
[[ru:Теория автоматов]]
[[simple:Automaton]]
[[sk:Teória automatov]]
[[sr:Teorija automata]]
[[fi:Automaattiteoria]]
[[th:ทฤษฎีออโตมาตา]]
[[tr:Özdevinim kuramı]]
[[uk:Теорія автоматів]]
[[zh:自动机]]
| |||