Linguaggio in informatica teorica In Informatica teorica, un linguaggio è un insieme finito o infinito di stringhe dato un alfabeto . Operazioni su linguaggi (Informatica teorica)