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.