Nikt nie może twierdzić, że zna francuski, jeśli potrafi tylko odróżniać w zdaniach francuskich podmiot od orzeczenia, lecz kompilator rozumie FORTRAN właśnie w tym sensie — potrafi zanalizować składnię zdań w FORTRANie. Z tego względu wyrażenia napisane w FORTRANie, albo w jakimkolwiek innym języku wysokiego poziomu, muszą być strukturalnie jednoznaczne. Kompilator nie może wybierać między alternatywnymi analizami; na mocy definicji brak mu ludzkiej umiejętności interpretacji. Tutaj zatem kryje się zasadnicza cecha języka komputerowego: w jego warstwowej albo hierarchicznej strukturze. Kody komputerowe klasyfikuje się w zależności od ich dystansu w stosunku do binarnego języka rozkazów maszynowych i bliskości w stosunku do tradycyjnych języków matematyki i logiki. Na najwyższym szczeblu znajdują się takie języki kompila- cyjne jak FORTRAN, poniżej nich są języki asemblera, a jeszcze niżej — rozkazy maszynowe .
