En linguistique et en informatique, on parle de théorie des langages pour décrire les langages formels. Plus généralement, la théorie des langages concerne tout langage ni ou in ni qui peut etre spécié par une méthode ...