AUTOMATAS Y LENGUAJES FORMALES

CÓDIGO: 301405

FASE 1- Reconocimiento de contenidos y pre saberes del curso

Presentado a:
Edgar Antonio Cortes

Entregado por:

Jairo Andrés Criollo López

Código: 1110.503.524

Grupo: 301405_17

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
Febrero 2018
Ibagué
MAPA MENTAL
 RESUMEN

ALAN TURING Y LA MAQUINA ENIGMA

Alan Mathison Turing, nacido en Londres el 23 de Junio de 1912 – Falleció el 7 de Junio de 1954. Fue un
matemático, lógico, científico de la computación, criptógrafo, filósofo, maratoniano y corredor de ultra
distancia británico.
Después de la primera guerra mundial, el inventor alemán Arthur Scherbius y su amigo Richard Ritter
fundaron una empresa de ingeniería y crearon la máquina Enigma con la finalidad de venderla no solo al
ejército sino también a muchas empresas del país. La máquina iba en una caja de dimensiones 34cm x 28cm
x 15cm y pesaba unos 12 kg.
Luego en la segunda guerra mundial los alemanes perfeccionaron esta máquina llamada Enigma, Alan Turing
fue llamado por el servicio de inteligencia británico para descifrar el funcionamiento del Enigma y poder ganar
la guerra.
 PALABRAS CLAVES

AUTOMATA FINITO:

Un autómata finito (AF) o máquina de estado finito es un modelo computacional que realiza cómputos en
forma automática sobre una entrada para producir una salida.

Este modelo está conformado por un alfabeto, un conjunto de estados finito, una función de transición, un
estado inicial y un conjunto de estados finales. Su funcionamiento se basa en una función de transición, que
recibe a partir de un estado inicial una cadena de caracteres pertenecientes al alfabeto (la entrada), y que
va leyendo dicha cadena a medida que el autómata se desplaza de un estado a otro, para finalmente
detenerse en un estado final o de aceptación, que representa la salida.

ALGORITMOS DE MINIMIZACIÓN:

El método de minimización de QuineMcCluskey, consiste en encontrar los implicantes primos y luego

seleccionar un conjunto de éstos que cúbranla función; esto último se efectúa mediante la reducción de la
tabla de implicantes.
Como alternativa se describe el método de Tison, de consenso reiterado, para determinar los implicantes
primos.

LENGUAJE FORMAL:

En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos

primitivos y reglas para unir esos símbolos están formalmente especificados. Al conjunto de los símbolos
primitivos se le llama el alfabeto (o vocabulario) del lenguaje, y al conjunto de las reglas se lo llama la
gramática formal (o sintaxis). A una cadena de símbolos formada de acuerdo a la gramática se la llama una
fórmula bien formada (o palabra) del lenguaje. Estrictamente hablando, un lenguaje formal es idéntico al
conjunto de todas sus fórmulas bien formadas. A diferencia de lo que ocurre con el alfabeto (que debe ser
un conjunto finito) y con cada fórmula bien formada (que debe tener una longitud también finita), un lenguaje
formal puede estar compuesto por un número infinito de fórmulas bien formadas.