Τυπική γλώσσα: Διαφορά μεταξύ των αναθεωρήσεων

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