In computability theory in computer science, it is common to consider formal languages.
Στη θεωρία υπολογισιμότητας στην επιστήμη των υπολογιστών, είναι κοινό κάποιος να εξετάσει επίσημες γλώσσες.