Traductores: Ensambladores, compiladores e intérpretes

 Ensambladores: 

son los encargados de transformar o traducir los programas escritos en ensamblador a su equivalente en código maquina o binario para que pueda ser ejecutado por la CPU. Este fue el primer lenguaje de programación que tradujo el lenguaje maquina a un lenguaje más natural para el ser humano. Con todo esto podemos decir que el lenguaje ensamblador es un lenguaje de programación de bajo nivel que se utiliza para escribir programas para computadoras, es la representación más directa del código máquina comprensible por los programadores.

TEORIA DE LA COMPUTACION

La teoría de la computación es una rama de la matemática y la computación que centra su interés en las limitaciones y capacidades fundamentales de las computadoras. Específicamente esta teoría busca modelos matemáticos que formalizan el concepto de hacer un cómputo (cuenta o cálculo) y la clasificación de problemas.

Teoría de autómatas

Esta teoría provee modelos matemáticos que formalizan el concepto de computadora o algoritmo de manera suficientemente simplificada y general para que se puedan analizar sus capacidades y limitaciones. Algunos de estos modelos juegan un papel central en varias aplicaciones de las ciencias de la computación, incluyendo procesamiento de texto, compiladores, diseño de hardware e inteligencia artificial.

SISTEMAS EN ESCALERA

EJEMPLOS DE SISTEMAS EN ESCALERA

La programación de tipo “escalera" consiste en cierta secuencia lógica de instrucciones, o contactos. De este modo, el estado de cada uno de los elementos, o contactos, de los sistemas electro-mecánicos, contacto-relé, se utilizan para identificar el control de las máquinas y/o procesos. La condición real de los contactos del sistema electro-mecánico es reemplazado por una secuencia lógica.

Pueden utilizarse todos los bits de las áreas direccionables de un determinado PLC como un elemento separado del control del sistema (contacto), siempre que se encuentre de acuerdo con el sistema de

direccionamiento empleado. 

plc's

programmable logic controller

Un controlador lógico programable, más conocido por sus siglas en inglés PLC (programmable logic controller) o por autómata programable, es una computadora utilizada en la ingeniería automática o automatización industrial, para automatizar procesos electromecánicos, tales como el control de la maquinaria de la fábrica en líneas de montaje o atracciones mecánicas.

Los PLC son utilizados en muchas industrias y máquinas. A diferencia de las computadoras de propósito general, el PLC está diseñado para múltiples señales de entrada y de salida, rangos de temperatura ampliados, inmunidad al ruido eléctrico y resistencia a la vibración y al impacto. Los programas para el control de funcionamiento de la máquina se suelen almacenar en baterías, copia de seguridad o en memorias no volátiles. Un PLC es un ejemplo de un sistema de tiempo real, donde los resultados de salida deben ser producidos en respuesta a las condiciones de entrada dentro de un tiempo limitado, de lo contrario no producirá el resultado deseado.

Máquina de Turing

Cíclicas o iterativos

EJERCICIOS JFLAP

 Ejercicio, convertir un AFD a gramática:

Máquina de Turing

Turing

Alan Mathison Turing, OBE, fue un matemático, lógico, científico de la computación, criptógrafo, filósofo, biólogo teórico, maratoniano y corredor de ultradistancia británico. ​​​​​ Es considerado uno de los padres de la ciencia de la computación y precursor de la informática moderna.

Noam Chomsky

¿Qué es la gramática generativa de Noam Chomsky?

Noam Chomsky se ha convertido en un referente indiscutible por la paz mundial gracias a sus constantes denuncias de las injusticias, y su labor como politólogo y activista estadounidense. El New York Times lo ha señalado como «el más importante de los pensadores contemporáneos.

Gramática formal

Gramática formal

Una gramática formal es una estructura lógico matemática con un conjunto de reglas de formación que definen las cadenas de caracteres admisibles en un determinado lenguaje formal o lengua natural. Las gramáticas formales aparecen en varios contextos diferentes: la lógica matemática, las ciencias de la computación y la lingüística teórica, frecuentemente con métodos e intereses divergentes.

Autómata Determinista y No Determinista

Autómata Finito Determinista (AFD) es un autómata finito en donde δ (delta) es una función de transición, es decir, que para cada par (estado actual y símbolo de entrada) le corresponde un único estado siguiente.

Ejercicio 1: Obtenga un AFD dado el siguiente lenguaje definido en el alfabeto Σ= {0,1}. El conjunto de cadenas que inician en “0”.

La teoría de autómata

La teoría de autómatas 

Es una rama de la teoría de la computación que estudia las máquinas abstractas y los problemas que éstas son capaces de resolver. La teoría de autómatas está estrechamente relacionada con la teoría del lenguaje formal ya que los autómatas son clasificados a menudo por la clase de lenguajes formales que son capaces de reconocer. También son de gran utilidad en la teoría de la complejidad computacional.