La hiérarchie de Chomsky constitue une première approche de la classification des langages formels. Il est remarquable qu'à chaque type de grammaire correspond un type d'automate Depuis, de nombreuses autres classes de grammaires, de langages ,et d'automates ont été introduites, qui permettent de répondre mieux aux exigences de problèmes spécifiques, comme la définition des langages de programmation ou la conception d’interpréteurs ou de compilateurs, ou encore l’analyse des langages naturels.