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

Στα [[διακριτά μαθηματικά]], στη [[μαθηματική λογική]] και στη [[θεωρητική πληροφορική]], μια '''τυπική γλώσσα''' (formal language) ή απλώς '''γλώσσα''' είναι η γλώσσα που ορίζεται από ακριβείς μαθηματικούς τύπους, ή τύπους που μπορεί να επεξεργαστεί μια μηχανή. Πιο αναλυτικά, μια γλώσσα <math>\boldsymbol{L}</math> ορίζεται ως ένα πιθανώς άπειρο σύνολο από πεπερασμένου μήκους σειρές από στοιχεία προερχόμενα από ένα καθορισμένο, πεπερασμένο σύνολο <math>\boldsymbol{A}</math> ([[αλφάβητο]]). Ο κλάδος που μελετά τις ιδιότητες των τυπικών γλωσσών λέγεται '''θεωρία τυπικών γλωσσών'''.