UNIVERSIDAD FRANCISCO DE PAULA SANTANDER

SISTEMAS E INFORMÁTICA
NOMBRE: Jose Fernel Sanchez Ferrer COD:1151698

TEORÍA DE LA COMPUTACIÓN

a) Relaciones en el campo de la COLUMNA 2 relación conceptual los conceptos de la

COLUMNA 3 Conceptos de teoría de la Computación que tiene que ver o aplican la
COLUMNA 1 áreas de la Teoría de la Computación. (VALOR 1.0)

COLUMNA 1. COLUMNA 2 Relación COLUMNA 3

Áreas de la Teoría de la Conceptual Conceptos de teoría de la
Computación Computación
1. Autómatas y Lenguajes (c,b) a. Espacio
2. Teoría de la (j,e,i,a,h,f) b. AFD, AFND
Complejidad
3. Teoría de la (g,d) c. Lenguaje Regular
Computabilidad
d.La tesis church-turing
e. Dedidibilidad (Decidability)
f. Problema es fácil de resolver o
difícil de resolver
g. Problema se pude o no resolver
si tienen o no solución
h. Reducibilidad (Reducibility)
i. Tiempo
j. Intratabilidad (intractability)

b) Encontrar las expresión regular que represente los siguientes lenguajes definidos
sobre el alfabeto Σ={0,1,2,3 , a ,b , c }. Las placas de vehículos (palabras
alfanuméricas) de longitud 7, cuyos primeros cuatro (4) términos son cualquier
combinación de dígitos y los tres (3) últimos son cualquier combinación de letras.
Son ejemplos de placas válidas 0123abc, 3210bca (VALOR 1.0)

AUTÓMATA FINITO DETERMINISTA (AFD)

¿
c) Diseñe un AFD que acepte el lenguaje l= { x 01 y| x , y ∈ { 0,1 } } es decir el AFD
acepta cadenas que tienen 01 en alguna parte de la cadena. (VALOR 1.0)

 Especifique Formalmente la Maquina M, es decir cada componente del

Autómata, estados Q, Sigma, estados finales, estado inicial, tabla de transición.
 Dibujé el diagrama de transición (pude usar JFLAB o a mano)
 d) Seleccione el lenguaje que reconoce el AFD de la Figura 1. (VALOR 1.0)

a) Acepta todas y sólo las cadenas que tienen un número par de 0’s o también un
número par de 1’s
b) Acepta todas y sólo las cadenas que tienen un número par de 0’s y también un
número par de 1’s (esta es la respuesta)
c) Acepta todas y sólo las cadenas que tienen 0’s y 1’s en cualquier orden como 1010
d) Todas las anteriores

AUTÓMATA FINITO NO DETERMINISTA (AFND)

e) Diseñar un AFN que acepte el siguiente Lenguaje: Σ={0,1} Lenguaje de las

cadenas de longitud impar que tienen unos únicamente en las posiciones impares
(VALOR 1.0)

Posición 0 (par) Posición 1 (impar) Posición 2 Posición 3 (impar) …

(par)
0 1 0 1

Ejemplo 01010 es válida, 1111 es inválida.

 Dibuje el diagrama de transición del AFN (use JFLAP o a mano).

 Valide la Maquina con tres entradas que debe reconocer y tres entradas que debe
rechazar
B) M= ((0 U 3 U 2 U 1) U (c U a U b))+

C) Autómata Finito Determinista

c) Σ = (0,1)
Q= (q0, q1, q2)
q0 = estado inicial
q2= estado de aceptación

0 1 (q0,0) = q1 (q0,1) = q0
(q1,0) = q1 (q1,1) = q2
q0 q1 q0 (q2,0) = q2 (q2,1)= q2
q1 q1 q2
q2 q2 q2
E) diagrama y pruebas en JFLAP