Las instrucciones y los datos no se agregan a una computadora de una forma desordenada, para introducir esta información se hace uso de una gramática para formar "sentencias en la mayoría de los casos" de tal forma que en el conjunto de estas normas hacen que tengamos que hablar de un lenguaje de programación.
Los lenguajes de programación son lenguajes formales
Estos lenguajes se pueden dividir atendiendo a su orientación semántica en:
Se pueden dividir atendiendo a su forma de ejecución
