LENGUAJES FORMALES

LENGUAJES FORMALES

Gina Paola Pérez Anajar

INTRODUCCIÓN

En este documento se presentan conceptos referentes a temas relacionados con lenguajes de programación o programación en sí. Para ello, es necesario conocer a que hace referencia la palabra programación. La programación es un proceso el cual a través de un lenguaje de programación se crean series de instrucciones con el fin de resolver un problema, estas instrucciones son codificadas y compiladas para que puedan ser entendidas y ejecutadas por un sistema computacional [1]. Teniendo en cuenta la definición anterior, se puede interpretar que a través de un lenguaje de programación se pueden desarrollar diferentes funcionalidades a través de una máquina como un computador para poder resolver problemas sencillos o complejos, pero basándose en ciertos principios que se van a ver a continuación.

DESARROLLO

Paradigma de programación: un paradigma es una manera de realizar algo, pero basándose en modelos que tienen algunos patrones o estándares ya definidos que permiten resolver problemas en particular, y estos paradigmas para este caso se resuelven a través de software y se puede ver su aplicación en los lenguajes de programación. Entre los distintos tipos de paradigmas encontrados en programación, se pueden clasificar de la siguiente manera:

1. Paradigmas procedimentales: Este tipo de paradigmas indican el modo de construir una solución, es decir, detallan paso a paso el mecanismo para obtenerla [2].

• Estructurado secuencial: Es aquel en el que se desarrolla o se codifica línea por línea hasta obtener la solución esperada, un ejemplo de este es BASIC, el cual es un lenguaje inventado en 1964, donde se indica cómo se va ejecutar el código, lo primero que se hace es crear las variables, luego los métodos indicar las instrucciones línea a línea, como ya se había expresado.

Ejemplo: Cuando se crea una instancia de una lista la cual contiene números y queremos que se sumen, entonces se indicaría a través de un método que itere n veces hasta llegar al último valor contenido en la lista y que al finalizar la iteración me imprima ese resultado. En este ejemplo se puede evidenciar que es un proceso secuencial y que está estructurado, ya que si por ejemplo no se creará la lista no se podría realizar un ciclo, o si la lista no tuviera valores al iterar no se podría obtener el resultado esperado y es estructurado evidenciar que lo primero a realizar es crear la lista y asignarle valores para luego sumarlos y mostrarlos.

• Orientado a objetos: En este caso se puede ver este paradigma como la agrupación de código que representa una realidad, esta agrupación se da a través de clases, las cuales tienen características que son conocidas como atributos y acciones que en programación son llamados métodos, además de poder hacer una reutilización de código.

Ejemplo: cuando se crea una clase Persona es como crear un molde para crear n cantidad de personas y poder generar información, para ello se buscan atributos que puedan tener en común como: que posean un nombre, un número de identificación, que tengan una fecha de nacimiento, y que puedan desarrollar alguna acción que están determinadas según para la finalidad del software, algunas acciones pueden ser comprar, pagar, entre otras. Además, este tipo de paradigma es compartido por distintos lenguajes de programación como java, PHP, phyton, etc. Lo único que varía es la forma en que estas se crean.

1. Paradigmas declarativos: Describen las características que debe tener la solución. Es decir, especifican “qué” se desea obtener, pero no requieren indicar “cómo” obtenerla.

Ejemplo: se puede ver con mayor facilidad cuando se trabaja en lenguajes como SQL donde se requiere obtener la información que está en una tabla, y al ejecutar una línea como select * from va a traer la información, pero no se está analizando como hace para obtener esa data sino que nos está devolviendo esa sentencia.

Lógico: hace referencia al uso de la lógica booleana para programar, en esta las instrucciones que se codifican se basan en hechos, de cierta manera usando las tablas de verdad,

• por ejemplo, se puede ver su funcionamiento en la electrónica digital en el uso de compuertas, las cuales se basan en la lógica binaria, y a través de la unión de compuertas se pueda variar el estado lógico y poder manejar dispositivos electrónicos.

También se puede ver en lenguajes como prolog, donde se le a través de diferentes casos se verifica el estado o valor de hechos y según el valor que se obtenga se va a determinar la salida. Prolog es utilizado en ámbitos como la inteligencia artificial y aspectos relacionados con la misma como el machine learning, procesamiento de lenguaje natural [3].

Funcional: se trabaja bajo funciones, bajo un conjunto de reglas a las que se le aplican un proceso.

• por ejemplo: poder enviar entre los parámetros otras funciones como pasa con los callback en JavaScript, donde se espera un resultado y con ese resultado realice otra acción, este paradigma lo que permite es hacer más fácil el trabajo al desarrollador.

Reactivo: consiste en poder trabajar con eventos asíncronos.

• Ejemplo: cuando se lleva a cabo un servicio rest en JavaScript se hace de forma asíncrona, donde se devuelve una respuesta que se devuelve en formato json, y se pueden aplicar los operadores reactivos los cuales trabajan sobre un flujo de datos hasta obtener un resultado, este es declarativo por que no se le indica línea a línea que se debe hacer, sino que se trabaja bajo la data obtenida y a través de otras funciones se pueda hacer una transformación como aplicar un map y a ese map aplicarle un filter pero en una sola línea.

Propiedades asociadas a los lenguajes de programación

...