AUTOMATAS Y LENGUAJES FORMALES

UNIDAD 1: FASE 0: EXPLORAR

GRUPO: 301405_17

PRESENTADO A

ANGELA MARIA GONZALEZ

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

FEBRERO 19 DE 2017

CEAD VELZ
Actividad 1:

Cada estudiante debe leer el syllabus del curso en el entorno de conocimiento, debe
ingresar al foro general del curso y realizar una presentacin ante sus compaeros, debe
actualizar completamente el perfil del aula, ingresando por participante debe revisar que se
encuentren sus datos, fotografa y dems datos de contacto, finalmente el estudiante debe
realizar un reconocimiento al ambiente virtual del entorno de aprendizaje colaborativo en el
aula.

Reconocimiento compaeros de grupo colaborativo:

Con la navegacin por el link de participantes situado en la columna izquierda junto a los
Entornos del curso, identificar los compaeros del grupo colaborativo y relacionarlos en el
informe, ya sea como un pantallazo del espacio indicado o un cuadro mencionando los
datos de los estudiantes y docente a cargo del grupo.

Actividad 2:
Crucigrama: Con lectura previa del syllabus del curso y el glosario realice un crucigrama
del contenido temtico del mismo, utilice cualquier herramienta (Visio, Word, PowerPoint,
ardora, jclick crucigramas en lnea, ect); el cual debe contener como mnimo: Nombre del
curso, Nombre de las unidades, Nombre de los captulos del curso, temticas contenidas en
cada captulo y definicin breve segn metodologa del mapa conceptual de cada tema del
curso. Se debe evidenciar las palabras y sus descripciones o pistas.

Descripciones
Horizontales

1. curso de conocimiento compuesto por autmatas finitos, autmatas de pila y mquina de

Turing: Rta: autmatas y lenguajes formales

5. Se utilizan para especificar un lenguaje regular Rta: expresiones regulares

3. Parte izquierda de las reglas: combinacin de smbolos terminales y no terminales, con al

menos un no terminal.

Parte derecha de las reglas: combinacin de smbolos terminales y no terminales de

cualquier longitud (incluso 0). Rta: lenguajes estructurados por frases

10. Consiste en un grupo de estados y un conjunto de transiciones de estado a estado, que

se dan sobre smbolos de entrada tomados de un alfabeto S. Para cada smbolo de entrada
existe exactamente una transicin a partir de cada estado. El estado q0, es el estado inicial,
en el que el autmata comienza. Algunos estados estn designados como final o de
aceptacin. Rta: autmata finito determinista afd

9. Es una modificacin del autmata finito determinstico, que permite ninguna, una o ms
transiciones de un estado a otro sobre el mismo smbolo de entrada. Rta: autmata finito no
determinista afnd

7. 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 estados
finales. Rta: autmatas finitos

15 es una gramtica formal (N, , P, S) que puede ser clasificada como regular izquierda o
regular derecha. Las gramticas regulares slo pueden generar a los lenguajes regulares de
manera similar a los autmatas finitos y las expresiones regulares. Rta: gramticas
regulares

18 Un transductor es un dispositivo capaz de transformar o convertir una determinada

manifestacin de energa de entrada, en otra diferente a la salida, pero de valores muy
pequeos en trminos relativos con respecto a un generador. Rta: transductores

19 Cuando un AF transita desde q0 a un estado final en varios movimientos, se ha

producido el RECONOCIMIENTO o ACEPTACIN de la cadena de entrada. Rta:
reconocedor

21 dada una expresin regular r que denota un cierto conjunto regular L(r) siempre es
posible construir un autmata finito M que acepte L(M)= L(r) Rta: equivalencia er-af
22 estudia la ayuda que el sistema operativo Unix proporciona para el comando grep. Rta:
expresiones regulares en Unix

26 la mayora de los lenguajes no pueden ser descritos por una definicin regular por
ejemplo: las expresiones regulares no pueden describir construcciones balanceadas o
anidadas Rta: conjuntos no regulares

Verticales

2. Es el conjunto de los lenguajes regulares sobre el alfabeto S est contiene , los

lenguajes unitarios incluido {e} y todos los lenguajes obtenidos a partir de la
concatenacin, unin y la cerradura de estrella. Rta: lenguajes regulares

4 Rta: lenguajes independientes del contexto

6 Es el conjunto de los lenguajes regulares sobre el alfabeto S est contiene , los

lenguajes unitarios incluido {e} y todos los lenguajes obtenidos a partir de la
concatenacin, unin y la cerradura de estrella. Rta: lenguajes regulares

8 es una rama de las matemticas que estudia las propiedades y relaciones de los
conjuntos: colecciones abstractas de objetos, consideradas como objetos en s mismas. Los
conjuntos y sus operaciones ms elementales son una herramienta bsica en la formulacin
de cualquier teora matemtica. Rta: teoras de conjuntos

11 Un rbol de derivacin permite mostrar grficamente cmo se puede derivar cualquier

cadena de un lenguaje a partir del smbolo distinguido de una gramtica que genera ese
lenguaje. Rta: rboles de derivacin

12 Es un autmata que cuenta con un mecanismo que permite un almacenamiento

ilimitado y opera como una pila. Rta: autmata a pila

13 El conjunto de lenguajes aceptados por estado final por los autmatas a pila LAPF es
igual que el conjunto de lenguajes aceptados por vaciado por pila de los autmatas a pila
LAPV. Rta: ap por vaciado

14 El conjunto de lenguajes aceptados por estado final por los autmatas a pila LAPF es
igual que el conjunto de lenguajes aceptados por vaciado por pila de los autmatas a pila
LAPV. Rta: ap por estados finales

16 Es una cinta que contiene una coleccin de celdas de almacenamiento que se extiende
infinitamente en ambas direcciones. Cada celda es capaz de almacenar un nico smbolo.
Adems, tendr, asociada con la cinta, una cabeza de lectura/escritura que puede moverse
hacia la izquierda o a la derecha sobre cada una de las celdas de la cinta y por cada
movimiento leer o escribir un smbolo. Rta: mquinas de Turing
17 hace referencia a los tipos de autmatas existentes Rta: tipos

20 es cuando se aplica un modelo de comportamiento de un sistema con entradas y

salidas, en donde las salidas dependen no slo de las seales de entradas actuales sino
tambin de las anteriores. Rta: aplicacin mquinas de estado

23 los Lic son estables bajo dicha operacin por ejemplo: unin, concatenacin y clausura
Rta: operaciones con Lic

24 los autmatas de pila se utilizan en los intrpretes y compiladoras de los lenguajes de

programacin para realizar el denominado anlisis sintctico Rta: analizadores sintcticos

25 nmeros de smbolos de una cadena Rta: cardinal

Actividad 3

El estudiante busca 3 palabras que considera importantes para los temas de las dos
unidades y no se encuentran en el glosario. Debe agregar el nombre, la definicin tcnica y
la referencia bibliogrfica segn normas APA.

Autmatas finitos: 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.

stos se definen mediante una quntupla (E, Q, f, q0, F) donde:

E: alfabeto de entrada.

Q: conjunto de estados; es conjunto finito no vaco.

f: funcin de transicin. F (p,a)=q

q0: (perteneciente a Q) estado inicial.

F: (perteneciente a Q) conjunto de estados finales o de aceptacin.

Referencia bibliogrfica:
Vctor. (11 diciembre 2009). Autmatas finitos. Recuperado el 9 de febrero de 2017 de:

http://automatas-finitos.blogspot.com.co/

Transductor: Dispositivo que transforma el efecto de una causa fsica, como la presin, la
temperatura, la dilatacin, la humedad, etc., en otro tipo de seal, normalmente elctrica.

Referencia bibliogrfica:

Real academia espaola. (9 febrero 2017). Transductor. Recuperado el 9 de febrero de 2017

de: http://dle.rae.es/?id=aIwM55L

Orden finito: se llama orden de una relacin de equivalencia al nmero de sus clases. Si
este es finito se dice que la relacin es de orden finito

Referencia bibliogrfica:

Carrasco, Rafael C., Jorge Calera Rubio, and Mikel L. Forcada Zubizarreta. (2000). Teora
De Lenguajes, Gramticas Y Autmatas Para Informticos. [Alicante]. Recuperado el 9 de
febrero de 2017 de: http://bibliotecavirtual.unad.edu.co:2139/eds/ebookviewer/ebook?
sid=a4bf294a-8e59-4b73-9851-2c6f1254f19f
%40sessionmgr104&ppid=pp_Cover&hid=104&vid=0&format=EB

Actividad 4:

El estudiante realiza una presentacin en cualquier herramienta en lnea (online), prezi,

emaze, pixtn, powtoon, entre otras.

El tema a desarrollar es el siguiente:

Que es la teora de autmatas,

Qu caractersticas tiene,

La historia y/o evolucin,

Importancia del manejo del rea, Identificar a Alan Turing, con sus aportes y
relevancia en la historia.
Link de la actividad 4 realizada: https://www.emaze.com/@ATFWWLQW/untitled?
autoplay