Τυπική γλώσσα: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
τελικά καλύτερα ένα άρθρο, είναι περιττό να υπάρχουν 2 διαφορετικά για τη θεωρία τυπικών γλωσσών και τις τυπικές γλώσσες. |
μΧωρίς σύνοψη επεξεργασίας |
||
Γραμμή 1:
:''Το άρθρο αυτό αναφέρεται στον όρο '''τυπική γλώσσα''' όπως χρησιμοποιείται στα μαθηματικά, τη λογική και την επιστήμη υπολογιστών. Για πληροφορίες για τον τρόπο έκφρασης που είναι πιο πειθαρχημένος ή ακριβής από την καθημερινή καθομιλουμένη γλώσσα, βλέπε [[επίσημη ορολογία]].''
Στα [[Μαθηματικά]], στην [[Λογική]], και στην [[Επιστήμη Υπολογιστών]], μια '''τυπική γλώσσα''' (formal language) ή απλώς '''γλώσσα''' είναι η γλώσσα που ορίζεται από ακριβείς μαθηματικούς τύπους, ή τύπους που μπορεί να επεξεργαστεί μια μηχανή. Πιό αναλυτικά, μια γλώσσα <μath>\boldsymbol{L}</math>ορίζεται ως ένα πιθανώς άπειρο σύνολο από πεπερασμένου μήκους σειρές από στοιχεία που προέρχονται από ένα καθορισμένο πεπερασμένο σύνολο <math>\boldsymbol{A}</math>. Ο κλάδος που μελετά τις ιδιότητες των τυπικών γλωσσών λέγεται
Όπως και οι γλώσσες στη [[γλωσσολογία]], οι τυπικές γλώσσες έχουν γενικά δυο πλευρές:
| |||