ART

 

.

Αυτόματο ονομάζεται μια μηχανή με βάση το οποίο ελέγχεται αν μια λέξη ανήκει σε μια τυπική γλώσσα. Λειτουργεί σαν μία μηχανή Τούρινγκ χωρίς έξοδο (εναλλακτικά ως έξοδος μπορεί να θεωρηθεί ένα δυαδικό ψηφίο. Εισέρχεται ως είσοδος τη λέξη γράμμα-γράμμα, το αυτόματο μεταβαίνει ανάλογα με την είσοδο σε διάφορες καταστάσεις, με μία μετάβαση ανά γράμμα, και μόλις ολοκληρωθεί η είσοδος αν η τελική κατάσταση είναι κατάσταση αποδοχής η λέξη εγκρίνεται αλλιώς η λέξη απορρίπτεται. Ο αριθμός των καταστάσεων είναι πεπερασμένος για κάθε αυτόματο. Τα αυτόματα απεικονίζονται γραφικά με λογικά διαγράμματα.



Εγκυκλοπαίδεια Πληροφορικής

Κόσμος

Αλφαβητικός κατάλογος

Hellenica World - Scientific Library

Από τη ελληνική Βικιπαίδεια http://el.wikipedia.org . Όλα τα κείμενα είναι διαθέσιμα υπό την GNU Free Documentation License