Per linguaggio numerico si intende un linguaggio basato su un alfabeto binario, in cui le uniche ``parole'' sono rappresentate dalle cifre 0 e 1. Per linguaggio simbolico si intende un qualunque linguaggio di programmazione il cui vocabolario sia costituito da un numero di parole (simboli) superiore a 2. I simboli vengono in genere espressi mediante caratteri dell'alfabeto internazionale. Esempi di questo tipo di linguaggi sono gli assembler, il pascal ecc..