Lenguajes formales

Lenguajes definidos por reglas matemáticas, que forman la base teórica de los lenguajes de programación.