Τυπική γλώσσα: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Ρομπότ: προσθήκη σήμανσης επαληθευσιμότητας |
Η τυπική γλώσσα είναι επίσης μέρος της γλωσσολογίας. |
||
Γραμμή 1:
{{χωρίς παραπομπές}}
Στα [[διακριτά μαθηματικά]], στη [[μαθηματική λογική]]
Όπως και οι γλώσσες στη [[γλωσσολογία]], οι τυπικές γλώσσες έχουν γενικά δυο πλευρές:
|