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.