Autmatas y Lenguajes Formales es un curso de carcter Terico, que

se inscribe en el campo de formacin profesional bsico del Programa

de Ingeniera de Sistemas con un valor acadmico de tres crditos.
El estudiante en el desarrollo de este curso demuestra la asimilacin
de los conceptos y mecanismos fundamentales para la definicin de
lenguajes (expresiones regulares, gramticas independientes del
contexto y gramticas generales), los tres tipos de mquinas
correspondientes para su reconocimiento (autmatas finitos,
autmatas a pila y maquinas de Turing) y las propiedades
fundamentales de las familias de lenguajes por ellos definidas,
tambin realiza el estudio de las condiciones necesarias para que un
lenguaje sea de un tipo determinado.
El curso es principalmente terico, jugando un papel secundario la
implementacin de algoritmos. Al final del curso el estudiante debe
demostrar la asimilacin de los conceptos fundamentales mediante la
resolucin de problemas acerca de los mismos, as como la
realizacin de algunas prcticas en el computador.
Este curso toma como base el avance de los lenguajes de
programacin de alto y bajo nivel para propiciar la distincin entre
lenguajes formales con reglas sintcticas y semnticas rgidas,
concretas y bien definidas de los lenguajes naturales, como el ingles o
el espaol, donde la sintaxis y la semntica no se pueden controlar
fcilmente. Los intentos de formalizar los lenguajes naturales, lleva a
la construccin de gramticas, como una forma de describir estos
lenguajes, utilizando para ello reglas de produccin para construir las
frases del lenguaje. Se puede entonces caracterizar un lenguaje
mediante las reglas de una gramtica adecuada.
A continuacin encontramos la induccin al curso en cuanto a las
temticas planteadas, debe estudiarse el contenido, complementar y
por
supuesto
responder
correctamente
las
preguntas.
Segn
el
Ministerio
de
Educacin
Nacional
(http://www.mineducacion.gov.co/1621/article-87727.html) define un
crdito acadmico de la siguiente forma: "Un Crdito Acadmico es la
unidad que mide el tiempo estimado de actividad acadmica del

estudiante en funcin de las competencias profesionales y acadmicas

que se espera que el programa desarrolle.
El Crdito Acadmico equivale a 48 horas totales de trabajo del
estudiante, incluidas las horas acadmicas con acompaamiento
docente y las dems horas que deba emplear en actividades
independientes de estudio, prcticas, preparacin de exmenes u
otras que sean necesarias para alcanzar las metas de aprendizaje
propuestas, sin incluir las destinadas a la presentacin de exmenes
finales".
De lo anterior se deduce que el total de horas del curso de Autmatas
y Lenguajes Formales es de:

Su respuesta :
144
Muy bien, esta es la respuesta correcta.
Un lenguaje es el que engloba a distintos medios utilizados para sostener la
comunicacin. Un lenguaje es una coleccin de smbolos o un conjunto de cadenas
de smbolos.
Gramtica es el estudio de las reglas y principios que regulan el uso del lenguaje a
nivel intraoracional (dentro de la oracin). Tambin se denomina as al conjunto de
reglas y principios que gobiernan el uso de un lenguaje determinado, por lo que puede
decirse que cada lenguaje tiene su propia gramtica.
Sintaxis (gramtica) Son las normas o reglas que definen un lenguaje. La sintaxis
son la secuencia de smbolos que forman cadenas de smbolos de un lenguaje.
Semntica: Significado de las cadenas que componen un lenguaje.
En la matemtica y en la informtica, los lenguajes artificiales son llamados lenguajes
formales (incluyendo lenguajes de programacin).
En matemticas, lgica, y las ciencias computacionales, un lenguaje formal es un
conjunto de palabras (cadenas de caracteres) de longitud finita formadas a partir de
un alfabeto (conjunto de caracteres) finito.

La definicin de semntica tiene una connotacin importante, una de las

definiciones que usted encuentra a continuacin no es la correcta.
Seleccinela

Su respuesta :
Son las normas o reglas que definen un lenguaje. Son la secuencia
de smbolos, que forman cadenas de smbolos de un lenguaje.
Correcto, Felicitaciones
Informalmente, el trmino lenguaje formal se utiliza en muchos contextos (en las
ciencias, en derecho, etc.) para referirse a un modo de expresin ms cuidadoso y
preciso que el habla cotidiana.
Ejemplo 1:
A es un nmero natural
Dependiendo del lenguaje tenemos diferente sintaxis

A is a natural number

A: natural;

0100000100000001

Ejemplo 2

Manual de referencia C++

http://www.lcc.uma.es/~vicente/docencia/cpp/manual_referencia_cxx.pdf

if (condicion_logica) {
secuencia_de_sentencias_v;
} else {
secuencia_de_sentencias_f;
}
Semntica:
Semntica consiste en evaluar la condicion_logica, y si su resultado es Verdadero
(true) entonces se ejecuta la secuencia_de_sentencias_v. Sin embargo, si el resultado

de
evaluar
la
condicion_logica
secuencia_de_sentencias_f.

es

Falso

(false)

se

ejecuta

la

Cadena del Lenguaje:

if(numero == 0) //La condicion indica que tiene que ser igual a Cero
{
cout<<"El Numero Ingresado es Igual a Cero";
}
Else
{
if(numero > 0) // la condicion indica que tiene que ser mayor a Cero
{
cout<<"El Numero Ingresado es Mayor a Cero";
}
Else
{
if(numero < 0) // la condicion indica que tiene que ser menor a Cero
{
cout<<"El Numero Ingresado es Menor a Cero";
}
}
}

Como especificar la sintaxis de un lenguaje?: Se utiliza la jerarqua de chomsky; la

jerarqua de Chomsky es una clasificacin jerrquica de distintos tipos de gramticas
formales que generan lenguajes formales. Esta jerarqua fue descrita por Noam Chomsky
en 1956.
Define cuatro familias de gramticas y lenguajes estas son: 0,1,2,3 gramticas sin
restricciones, de contexto, de contexto libre y regulares.

Gramticas de tipo 0 (sin restricciones), que incluye a todas las gramticas

formales. Estas gramticas generan todos los lenguajes capaces de ser
reconocidos por una mquina de Turing. Los lenguajes son conocidos como
lenguajes recursivamente enumerables. Ntese que esta categora es
diferente de la de los lenguajes recursivos, cuya decisin puede ser
realizada por una mquina de Turing que se detenga.

Gramticas de tipo 1 (gramticas sensibles al contexto) generan los

lenguajes sensibles al contexto. Los lenguajes descritos por estas
gramticas son exactamente todos aquellos lenguajes reconocidos por una
mquina de Turing no determinista cuya cinta de memoria est acotada por
un cierto nmero entero de veces sobre la longitud de entrada.

Gramticas de tipo 2 (gramticas libres del contexto) generan los lenguajes

independientes del contexto. Estos lenguajes son aquellos que pueden ser
reconocidos por un autmata con pila.

Gramticas de tipo 3 (gramticas regulares) generan los lenguajes

regulares. Estas gramticas se restringen a aquellas reglas que tienen en la
parte izquierda un no terminal, y en la parte derecha un solo terminal,
posiblemente seguido de un no terminal. Estos lenguajes son aquellos que

pueden ser aceptados por un autmata finito. Tambin esta familia de

lenguajes pueden ser obtenidas por medio de expresiones regulares.
Cada lenguaje regular es a su vez libre del contexto, asimismo un lenguaje libre del
contexto es tambin dependiente del contexto, ste es recursivo y a su vez,
recursivamente enumerable. Las inclusiones son, sin embargo, propias, es decir,
existen en cada nivel lenguajes que no estn en niveles anteriores.

Tipo

Lenguaje

Autmata

Normas de produccin de gramticas

recursivamente enumerable (LRE)

Mquina de Turing (MT)

Sin restricciones

dependiente del contexto (LSC)

Autmata linealmente acotado

?A? ? ???

independiente del contexto (LLC)

Autmata con pila

A? ?

regular (RL)

Autmata finito

A ? aB
A? a

Relacione el tipo de Autmata de la Izquierda con los Lenguajes de la Derecha

Su respuesta :
Mquina de Turing = Lenguaje Recursivamente Enumerables
Lenguaje dependiente del Contexto = Autmata Linealmente Acotado
Lenguaje Independiente del Contexto = Autmata con Pila
Lengauje Regular = Autmata Finito
Es correcto, el tipo de Lenguaje se asocia con el tipo de Autmata

En sus funciones de un Autmata como mquina que procesa datos, el

orden lgico con que realiza estas funciones es:

Su respuesta :
acepta una entrada ==> cambia de estado ==> produce una salida
Esta es la Respuesta Correcta
Relacione el tipo de Autmata con las actividades que realizan

Su respuesta :
Autmatas aceptadores = Reciben, procesan, salidas binarias
Autmatas genaradores = no reciben, procesan, generan

informacin
Autmatas transductores = Reciben, procesan, generan informacin
Estas son las opciones correctas.

Resumiendo ....
En electrnica un autmata es un sistema secuencial, aunque en
ocasiones la palabra es utilizada tambin para referirse a un robot.
Puede definirse como un equipo electrnico programable en lenguaje
no informtico y diseado para controlar, en tiempo real y en ambiente
industrial, procesos secuenciales. Sin embargo, la rpida evolucin de
los autmatas hace que esta definicin no est cerrada.
En la Teora de los lenguajes formales, disciplina perteneciente a la
informtica, se describen tres tipos de autmatas que reconocen tipos
diferentes de lenguajes: los autmatas finitos, los autmatas a pila y
las
mquinas
de
Turing.
Un autmata finito o mquina de estado finito es un modelo
matemtico de un sistema que recibe una cadena constituida por
smbolos de un alfabeto y determina si esa cadena pertenece al
lenguaje
que
el
autmata
reconoce.
Un autmata con pila o autmata a pila es un modelo matemtico de
un sistema que recibe una cadena constituida por smbolos de un
alfabeto y determina si esa cadena pertenece al lenguaje que el
autmata reconoce. El lenguaje que reconoce un autmata a pila
pertenece al grupo de los lenguajes de contexto libre en la
clasificacin
de
la
Jerarqua
de
Chomsky.
La mquina de Turing es un modelo computacional introducido por
Alan Turing en el trabajo On computable numbers, with an application
to the Entscheidungs problem, publicado por la Sociedad Matemtica
de Londres, en el cual se estudiaba la cuestin planteada por David
Hilbert sobre si las matemticas son decidibles, es decir, si hay un

mtodo definido que pueda aplicarse a cualquier sentencia

matemtica y que nos diga si esa sentencia es cierta o no. Turing
construy un modelo formal de computador, la mquina de Turing, y
demostr que existan problemas que una mquina no poda resolver.
La mquina de Turing es un modelo matemtico abstracto que
formaliza el concepto de algoritmo.
En la Teora de los lenguajes formales, disciplina
perteneciente a la informtica, se describen tres tipos de
autmatas que reconocen tipos diferentes de lenguajes,
marque los tres tipos de Autmatas correctos
Su respuesta :
Autmatas Finitos
Autmatas a Pila
Mquinas de Turing
Esta es la Respuesta Correcta.
Los autmatas finitos se utilizan generalmente para:
Pista: Debes seleccionar 2 respuestas

Su respuesta :
Verificar que las cadenas pertenecen al lenguaje.
como un analizador en la traduccin de algoritmos al computador.
Estas son las respuestas correctas.

MQUINAS DE TURING [1]

Definicin

Al aadir al autmata finito bsico una pila de almacenamiento auxiliar,

aumentando con ello su poder de clculo, cabra ahora preguntarnos
que es lo que habra que aadir a un autmata de pila para que
pudiera analizar lenguajes como {anbncn}. Partiendo del AP bsico de la
figura siguiente.

Figura (a)Automata de Pila (b) Maquina de Turing

Algunas ideas podran ser:
1. Aadir otra pila;
2. Poner varias cabezas lectoras de la entrada;
3. Permitir la escritura en la cinta, adems de la lectura de caracteres.
Vamos a enfocar nuestra atencin a una propuesta en particular que
ha tenido un gran impacto en el desarrollo terico de la computacin:
la Mquina de Turing.
A. Turing propuso en los aos 30 un modelo de mquina abstracta,
como una extensin de los autmatas finitos, que result ser de una
gran simplicidad y podero a la vez. La mquina de Turing es
particularmente importante porque es la ms poderosa de todas las
mquinas abstractas conocidas [2]

[2] (A. Turing.- On computable numbers with an application to the

Entscheidungs-problem , Proc. London Math. Soc., v.2, n.42,
pp230-265.)
Funcionamiento de la mquina de Turing
La mquina de Turing (abreviado MT) tiene, como los autmatas que
hemos visto antes, un control finito, una cabeza lectora y una cinta
donde puede haber caracteres, y donde eventualmente viene la
palabra de entrada. La cinta es de longitud infinita hacia la derecha,
hacia donde se extiende indefinidamente, llenndose los espacios con
el caracter blanco (que representaremos con t). La cinta no es infinita
hacia la izquierda, por lo que hay un cuadro de la cinta que es el
extremo izquierdo, como en la figura En la MT la cabeza lectora es de
lectura y escritura, por lo que la cinta puede ser modificada en curso
de ejecucin. Adems, en la MT la cabeza se mueve
bidireccionalmente (izquierda y derecha), por lo que puede pasar
repetidas veces sobre un mismo segmento de la cinta.
La operacin de la MT consta de los siguientes pasos:
1. Lee un caracter en la cinta
2. Efectua una transicin de estado
3. Realiza una accin en la cinta
Las acciones que puede ejecutar en la cinta la MT pueden ser:
Escribe un smbolo en la cinta, o Mueve la cabeza a la izquierda o a la
derecha Estas dos acciones son excluyentes, es decir, se hace una o
la otra, pero no ambas a la vez.
La palabra de entrada en la MT est escrita inicialmente en la cinta,
como es habitual en nuestros autmatas, pero iniciando a partir de la
segunda posicin de la cinta, siendo el primer cuadro un caracter
blanco. Como la cinta es infinita, inicialmente toda la parte de la cinta a
la derecha de la palabra de entrada est llena del caracter blanco (t).

Por definicin, al iniciar la operacin de la MT, la cabeza lectora est

posicionada en el caracter blanco a la izquierda de la palabra de
entrada, el cual es el cuadro ms a la izquierda de la cinta.
Decimos que en la MT se llega al final de un clculo cuando se
alcanza un estado especial llamado halt en el control finito, como
resultado de una transicin. Representaremos al halt por h. Al llegar
al halt, se detiene la operacin de la MT, y se acepta la palabra de
entrada. As, en la MT no hay estados finales. En cierto sentido el halt
sera entonces el nico estado final, slo que adems detiene la
ejecucin.
Cuando queremos que una palabra no sea aceptada, desde luego
debemos evitar que la MT llegue al halt. Podemos asegurarnos de ello
haciendo que la MT caiga en un ciclo infinito El lenguaje aceptado por
una MT es simplemente el conjunto de palabras aceptadas por ella
Al disear una MT que acepte un cierto lenguaje, en realidad
diseamos el autmata finito que controla la cabeza y la cinta, el cual
es un autmata con salida As, podemos usar la notacin grfica
utilizada para aquellos autmatas para indicar su funcionamiento.

Su respuesta :
(a) autmata de pila (b) maquina de turing
Esta es la Respuesta Correcta.

La cinta sobre la que lee las entradas la Mquina de Turing, es infinita tanto
a la izquierda como a la derecha

Su respuesta :
Falso
Correcto, la MT no es Infinita a la izquierda, pero si a la derecha

La Teora de los Autmatas y Lenguajes Formales tiene su aplicacin en

variadas disciplinas, marque tres de ellas

Su respuesta :
Reconocimiento de Patrones
Procesadores de Lenguajes

Modelado de Redes Neuronales

Opcin acertada