Per
linguaggio formale, in
matematica,
logica,
informatica e
linguistica, si intende un insieme di
stringhe di lunghezza finita costruite sopra un
alfabeto finito, cioè sopra un insieme finito di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere.