AUTOM ATAS Y LENGU AJES FORM ALES

RECONOCIM EINTO DEL CURSO

ESTUDIAN TE
JADER M AURICIO ROJAS SCARPETA
CODIGO: 1083897338

GRUPO
301405_15

TUTORA
HELEN A CLARA ISABEL ALEM AN

UNIVERSIDAD A NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BASICAS TECNOLO GIAS E INGENIERIAS ECBTI
FEBRERO DEL 2017
 DESARROLLO ACTIVIDA D DE RECONOCIMIENTO
Actividad 1

Actualizar perfil

Presentacion Foro

Reconocimiento de compaeros
Actividad 2:

Crucigrama con la informacin general del curso

Palabras
Crucigrama

https://w ww.educaplay.com/es/recursoseducativos/2815563/automatas_y_lenguas_formale
s.htm
Actividad 3:

Tres palabras importantes de las unidades.

AUTOMATA FIN ITO (AF)

Un autmata finito (A F) o mquina de estad o finito es un modelo computacional que

realiza cmputos en forma automtica sobre una entrada para producir una salida. Este
modelo est conformado por un alfabeto, un conjunto de estados finito, una funcin de
transicin, un estado inicial y un conjunto de estad os finales. Su funcionamiento se basa en
una funcin de transicin, 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
autmata se desplaza de un estado a otro, para finalmente detenerse en un estado final o de
aceptacin, que representa la salida.

La finalidad de los autmatas finitos es la de reconocer lenguajes regulares, que

corresponden a los lenguajes formales ms sim ples segn la Jerarqua de Chomsky .

TOKENS

Un token o tambin llamado componente lxico es una cadena de caracteres que tiene un
significado coherente en cierto lenguaje de programacin. Ejemplos de tkenes podran ser
palabras clave (if, else, while, int, ...), identificadores, nmeros, s ignos, o un operador de
varios caracteres, (por ejemplo, := "':+"' ).

ANALIZADOR LXICO

Un analizador lxico y/o analizad or lexicogrfico (en ingls scanner) es la primera fase
de un compilador consistente en un programa que recibe como entrada el cdigo fuente de
otro programa (secuencia de caracteres) y produce una salida compuesta de tokens
(componentes lxicos) o smbolos. Estos tokens sirven para una posterior etapa del proceso
de traduccin, siendo la entrada para el analizador sintctico (en ingls parser).

La especificacin de un lenguaje de programacin a menudo incluye un conjunto de reglas

que definen el lxico. Estas reglas consisten comnmente en expresiones regulares que
indican el conjunto de posibles secuencias de caracteres que definen un t oken o lexema
Actividad 4:

Que es la teora de autmatas.

La teora de autmatas es el estudio de dispositivos de clculo abstractos, es decir, de las

mquinas. Antes de que existieran las computadoras, en la dcada de los aos treinta, A.
Turing estudi una mquina abstracta que tena todas las capacidades de las computadoras
de hoy da, al menos en lo que respecta a lo que podan calcular. El objetivo de Turing era
describir de forma precisa los lmites entre lo que una mquina de clculo poda y no poda
hacer; estas conclusiones no slo se aplican a las mquinas abstractas de Turing, sino a
todas las mquinas reales actuales

Qu caractersticas tiene.

1. Abstraccin de cualquier tipo de computador y/o lenguaje de programacin.

2. Desglose en sus elementos bsicos (Entrada, Estado, Transicin, Salidas y
elementos auxiliares)
Autmatas Finitos (y mquinas secuenciales )
Autmatas Probabilsticos
Autmatas a Pila
M quinas de Turing
Clulas de M c Culloch-Piks
Autmatas Celulares
Redes de Neuronas Artificiales

La historia y/o evolucin.

Para encontrar los principios de la Informtica Terica debemos remontarnos a los aos 30,
dcada en la que el mundo de las matemticas se hallaba ocupado, sobre todo, en temas
como la lgica y la definicin de sistemas axiomticos

A principios del siglo XX, m uchos matemticos crean que era posible encontrar un nico
sistema axiomtico en el que podran basarse todas las matemticas. Su meta era encontrar
un conjunto de axiomas y reglas de inferencia correcta de manera que las matemticas
pudieran reducirse a un sistema computacional con el cual pudiera deducirse la veracidad o
falsedad de cualquier enunciado matemtico. Uno de los principales defensores de esta idea
era el conocido matemtico alemn Hilbert.

En 1937, el matemtico ingles Alan Turing, en su artculo Sobre los nmeros

computables, present la conocida M quina de Turing (M .T.), una entidad
matemtica abstracta con la que se formaliz el concepto de algoritmo 1, adems demostr
que muchos problemas perfectamente definidos no pueden ser resueltos mediante una M .T.,
es decir, no son computables y de esta manera ratific la teora de Godel.

Importancia del manejo del rea, Identificar a Alan Turing, con sus aportes y
relevancia en la historia.

Alan Turing

Alan M athison Turing Londres, 23 de junio de 1912 fue un matemtico, lgico, cientfico
de la computacin, criptgrafo, filsofo, maratoniano y corredor de ultra distancia britnico

Aporte de Alan Turing

La mquina de Turing

Cdigos secretos y el Bombe

Computadora ACE y la Inteligencia Artificial

LINKK DE LA PRESEN TACION :

https://w ww.emaze.com/@ ATCRIQZW/untitled

 REFERENCIAS

presentation, a. (16 de 02 de 2017). emaze . Obtenido de

https://w ww.emaze.com/@ ATFCZTQT/TEOR%C3%8DA -DE-
AUT%C3% 93M ATAS-

S.L, C. P. (s.f.). Educaplay. Recuperado el 15 de 02 de 2017, de

https://w ww.educaplay.com/es/editarActividad.php?action=editarActividad&idActi
vidad= 2815563

WikipediA. (s.f.). wikipedia enciclopedia ibre. Recuperado el 15 de 02 de 2017, de

https://es.w ikipedia.org/wiki/Aut%C3%B3mata_finito

WikipediA. (s.f.). wikipedia la enciclopedia libre. Recuperado el 15 de 02 de 2017, de

https://es.w ikipedia.org/wiki/Token_(inform%C3%A 1tica)

WikipediA. (s.f.). Wikipedia la enciclopedia libre. Recuperado el 15 de 02 de 2017, de

https://es.w ikipedia.org/wiki/Analizador_l%C3% A9xico