La programación se rige por reglas y un conjunto más o menos reducido de órdenes, expresiones, instrucciones y comandos que tienden a asemejarse a una lengua natural acotada (en inglés); y que además tienen la particularidad de una reducida ambigüedad. Cuanto menos ambiguo es un lenguaje de programación se dice que es más potente. Bajo esta premisa, y en el extremo, el lenguaje más potente existente es el binario, con ambigüedad nula (lo cual lleva a pensar así del lenguaje ensamblador).

En los lenguajes de programación de alto nivel se distinguen diversos elementos entre los que se incluyen el léxico propio del lenguaje y las reglas semánticas y sintácticas. Estos lenguajes tienen la particularidad de utilizar palabras del idioma inglés dentro de su léxico, por lo que muchas de ellas tienen una función específica dentro del lenguaje con el que se está trabajando y no se las puede utilizar de manera diferente, son las denominadas palabras reservadas. Por otro lado, otra particularidad de los lenguajes de programación de alto nivel y sus herramientas de desarrollo es el permitir a los programadores el uso de comentarios (frases o párrafos sin funcionalidad en el programa), a fin de que otros programadores entiendan más fácilmente la funcionalidad del código creado