3er Examen parcial de Lógica Matemática y Autómatas 21 de junio de 2022 Esta

Maestra Irma de Jesús Miguel Garzón feb-junio 2022.

Nombre: _Roberto Carlos Aguiar Rafael__Plantel en que está inscrito: __Tonala___

Instrucciones: Resuelva a mano en su libreta no en Word, en Word solo va a insertar fotos

de sus respuestas.

1. Dada la cadena correspondiente a su nombre, o sea, si se llama usted Ramiro,

considere la cadena w=ramiro, para esta cadena, encuentre lo siguiente:
i) La longitud de la cadena w
ii) 𝐿𝑎 𝑝𝑜𝑡𝑒𝑛𝑐𝑖𝑎 3 𝑑𝑒 𝑙𝑎 𝑐𝑎𝑑𝑒𝑛𝑎 𝑤, 𝑜 𝑠𝑒𝑎, 𝑤 3
iii) Los sufijos de w
iv) Los prefijos de w

2. Dado el alfabeto Σ={a,b,c,d,e}, defina los lenguajes L1 y L2, tal que, L1 es el lenguaje con
3 cadenas de longitud 5, que no tienen símbolos repetidos y L2 es el lenguaje con 3
cadenas de longitud 3, que inician con c y terminan en e.

Para estos lenguajes L1 y L2, encuentre

i) L1.L2 y L2.L1
ii) L1UL2 y L1ՈL2
iii) L13
3. Diseñe un autómata finito que reconozca L1 o L2, incluyendo:
i) La quíntupla y defina cada componente de ella, o sea, defina: el conjunto de estados,
alfabeto, estado inicial, función de transición, conjunto de estados de aceptación.
ii) Tabla de transición.
iii) Diagrama de estados.

4. Describa cómo se convierte un AFN - λ en un AFD, ilustre con un ejemplo de un

autómata con al menos 4 estados. Puede comprobar sus resultados con Jflap, pero primero
debe realizar el proceso de conversión a mano en su libreta.

WARNING: No copie y pegue el procedimiento de alguna fuente de consulta.

5. Anote en su libreta un ejemplo del proceso de minimización de un autómata con al menos

5 estados.

WARNING: No copie y pegue el procedimiento de alguna fuente de consulta.

6. Encuentre regulares siguientes:
a) 1*(01)*0*
b) 1(0*1*)0
c) ba*ab*(aUb)*
7. Encuentre la expresión regular para el autómata que reconoce L1 o L2

8. Describa un autómata de la vida cotidiana, ya sea una lavadora, un cajero, expendedora

u otro que conozca. Defina su quíntupla, por ejemplo.
Si es una licuadora, se tendría algo como lo siguiente.
Procedimiento de diseño.
1) Para facilitar la definición, analizo qué acciones realiza la licuadora

i) Recuerdo que puede hacer jugos, salsas y sopas, hay un botón para cada cosa y según el
botón que se presiona, es la velocidad que tiene el motor.
ii) Observo que al inicio está apagada, entonces ese es el estado inicial.
iii) Casi todas las licuadoras terminan su acción cuando se presiona el botón de paro,
entonces, debe ir al estado final cuando se presione este botón.

2) En base a los puntos i), ii) y iii), defino la quíntupla y sus componentes, o sea, los estados
y el alfabeto, también, el estado inicial, el final y la función de transición.
Ejemplo de estados
q0- estado inicial (apagado)
q1 – hacer salsa (botón “salsas”)
q2 – hacer jugo (botón “jugos”)
q3 – hacer sopas (botón “sopas”)
q4 – apagar (botón “apagado”)

3) Realizo la tabla de transición y diagrama de estados, de acuerdo a lo realizado en 2)

Anote lo que no ha entendido aún.

Entonces, tome este ejemplo y haga lo mismo para el autómata que haya elegido.

Eso es todo, haga su mejor esfuerzo!