Τυπική γλώσσα: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Ρομπότ: Προσθήκη: sr:Формални језик |
|||
Γραμμή 45:
* Στοιχειοσειρές παραγόμενες από μια [[Τυπική γραμματική]] (βλ. [[Ιεραρχία Τσόμσκι]])
* Στοιχειοσειρές παραγόμενες από μια [[Κανονική έκφραση]] (regular expression).
* Στοιχειοσειρές που γίνονται αποδεκτές από κάποιο [[Θεωρία αυτομάτων|αυτόματο]], όπως είναι η [[Μηχανή Τούρινγκ]] ή
* Από ένα σύνολο σχετιζομένων λογικών ερωτήσεων, εκείνες οι ερωτήσεις που έχουν απάντηση ΑΛΗΘΗΣ (βλ. [[Πρόβλημα απόφασης]]).
| |||