El documento clasifica los lenguajes de programación en dos categorías: lenguajes naturales como el inglés y lenguajes artificiales como los lenguajes de programación. Dentro de los lenguajes de programación, existen tres tipos: lenguaje de máquina en formato binario, lenguaje ensamblador que sustituye los códigos binarios por palabras clave, y lenguajes de alto nivel como FORTRAN y C++ que permiten expresar operaciones complejas con pocas líneas de código.