Linguaggi Formali

Linguaggi definiti da regole matematiche, che costituiscono la base teorica dei linguaggi di programmazione.