Facultad de Ingeniería

Escuela de Ingeniería de Sistemas y Computación

Matemáticas Discretas II - Taller 1
Autómatas, Gramáticas, Máquinas de Turing
Profesora: Leoviviana Moreno Torres

Fecha de Entrega: 3 de diciembre de 2019

Debe trabajar en grupos de mínimo 2 y máximo 3 estudiantes. El taller

se debe entregar de manera física el día especificado al iniciar la clase​.

1. [1.2 ptos] Construya los Autómatas Finitos Deterministas que reconozcan los
siguientes lenguajes sobre
∑ = {a, b, c} :

a) L1 = { todas las cadenas que no tengan un número par de símbolos, que inicien
en a y finalicen en c}. ​Con máximo 5 estados​. La cadena mínima debe ser de
longitud 3.
b) L2 = {Todas las cadenas que no contengan la subcadena cba } ​Con máximo 5
estados
c) L3 = { todas las cadenas que comiencen en c y finalicen en a y no contengan la
subcadena ba}. ​Con máximo 5 estados
d) L4 = { todas las cadenas que tengan o bien una cantidad de c múltiplo de 3 y no
tengan b’s, o bien una cantidad par de b y no tengan c’s }

2. [1.2 ptos] Escriba las expresiones regulares que reconozca los siguientes
lenguajes:

a) El lenguaje de todas las cadenas que inician en 0 seguidas de un número par de

unos, sobre ∑ = {0, 1}
b) Del lenguaje L1 del punto 1
c) Del lenguaje L2 del punto 1
d) Lenguaje de todas las cadenas que no contienen la subcadena 001, sobre
∑ = {0, 1, 2}

3. [0.5 ptos] Autómatas Finitos No Determinísticos ​Construya los AFN que no sean
AFD para los lenguajes de los ítems a y d del punto 2

Taller 1 – MD II Página 1
 4. [0.5 ptos]​ Usando el algoritmo de conversión de AFN a AFD, convierta a AFD el
siguiente autómata. ​ Muestre el proceso​.

5. [0.5 ptos]​ Usando el​ Lema de arden ​halle la expresión regular del autómata del
punto 4. ​Muestre el proceso

6. [0.5 ptos]​ Construya las​ gramáticas regulares​ de los lenguajes de los puntos 1b y
1d

7. [0.6 ptos]​ ​Máquinas de Turing

a. Construya una máquina de turing que reciba una cadena de {a,b}* y

reemplace todas las b que tenga la cadena por una ​X

b. Qué hace la siguiente máquina de Turing y cómo queda la cinta después de

correrse en la máquina de turing
(q​0​, 1 , q​1​ , 1, R), (q​0​, 0 , q​0​ ,A , R), (q​0​, B , q​1​ , M, R)
(q​1​, 1 , q​1​ ,C, R), (q​1​, 0 , q​1​ ,1, L), (q​1​, B , q​2​ ,S, R)
(q​1​, C , q​1​ ,C, R), (q​1​, A , q​1​ ,A, R)

cinta:

0 0 0 0 1 1 1 0 0 0 0 1 1 1 B

Taller 1 – MD II Página 2