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

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Polyvios (συζήτηση | συνεισφορές)
Polyvios (συζήτηση | συνεισφορές)
Γραμμή 151:
 
[[Κατηγορία:Τυπικές γλώσσες]]
[[Κατηγορία:Μαθηματική λογική]]
 
[[ar:لغة شكلية]]