Τυπική γλώσσα: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ →Προδιαγραφή: broken link, relinked properly |
μ Αναίρεση έκδοσης 3459140 από τον Polyvios (Συζήτηση χρήστη:Polyvios) |
||
Γραμμή 42:
* Συμβολοσειρές παραγόμενες από μια [[τυπική γραμματική]] (βλ. [[Ιεραρχία Τσόμσκι]]).
* Συμβολοσειρές παραγόμενες από μια [[κανονική έκφραση]] (regular expression).
* Συμβολοσειρές που γίνονται αποδεκτές από κάποιο [[Θεωρία αυτομάτων|αυτόματο]], όπως είναι μία [[Μηχανή Τούρινγκ]] ή μία [[μηχανή πεπερασμένων καταστάσεων]] (finite state machine).
* Από ένα σύνολο σχετιζομένων λογικών ερωτήσεων, εκείνες οι ερωτήσεις που έχουν απάντηση ΑΛΗΘΗΣ (βλ. [[Πρόβλημα απόφασης]]).
| |||