Linguagens Formais

Linguagens definidas por regras matemáticas, formando a base teórica das linguagens de programação.