Der Ummstand, dass Computer programmierte Anweisungen ausführen können, liegt in dem Umstand begründet, dass diese Anweisungen in Sprachen formulert werden könne, die man als Formale Sprachen bezeichnet. Es ist relativ leicht, für diese sogn. Compiler zu konstruieren, welche über mehrere Stufen die in dieser Sprache formulierten Anweisungen in ausführbaren Maschinencode umwandeln können. Diesem Umstand verdanken diese Sprachen in erster Linien ihrer Eigenschaft, Formale Sprachen zu sein.