Nombre del Alumno:

Saulo Cauich Chi

Matricula:

95769

Grupo:

CC36

Materia:

Teoría de las Ciencias Computacionales

Docente:

Dr. Marco Tulio Ceron Lopez

Tema:

Construcción de autómatas y expresiones regulares

Dzitbalché, Calkiní, Campeche a 15 de marzo del 2018

Analiza el siguiente planteamiento y realiza lo que se solicita:

Las computadoras entienden el lenguaje binario, por lo tanto, es

necesario tener conocimientos sobre cómo procesar cadenas de
números binarios, por ello:

1. Construye un autómata para reconocer cadenas, cuyo número de

ceros sea divisible entre 3 y el número de unos sea divisible entre
5.

En mi caso realice tres formas en la cual se describe cada uno su ventaja y sus
desventajas.
De igual manera el programa que se utilizó para apoyo se llama JFLAP8_beta y se
puede descargar (https://1drv.ms/u/s!AtBZGOzPA-peiR9CmEJoyF0sqN5Y), o en
su página oficial http://www.jflap.org/

Figura 1.- este autómata acepta cualquier cadena que cumpla con la condición que
los 0 sea divisible entre 3 y los 1 sea divisible entre 5, no importa la longitud de la
cadena, el inconveniente de este autómata es que acepta 000 y también 11111, en
cada uno le falta ya sea la condición del 1 o la del 0, pero de igual manera acepta
la cadena vacía.
 Figura 1. (Puedes descargar el .jflap https://1drv.ms/u/s!AtBZGOzPA-
peiR4imWAB4urbxo04)

Figura 2.- En este autómata es lo más completo porque acepta con la cadena que
cumple con el criterio que sus 0 sean divisible entre 3 y sus 1 sean divisible entre 5, igual
que si no cumple con ese criterio no es aceptado, no acepta 000, 11111 ni cadena vacía,
en el cual se agrega la Figura 2.a para su mejor apreciación

Figura 2. (Puedes descargar el .jflap https://1drv.ms/u/s!AtBZGOzPA-

peiRxeaVQ37YC14wta)
 Figura 2.a

Figura 3. Acepta un por decirlo así subconjunto de palabras que la cantidad de 0 sea
divisible entre tres y los 1 sea divisible entre cinco, solo un grupo de cadenas acepta, en el
cual van a ser ciertos consecutivo.
Figura 3: (Puedes descargar el .jflap: https://1drv.ms/u/s!AtBZGOzPA-peiR0gD-oVp-Mqh-
W-)

2. Convierta el autómata obtenido en una expresión regular. Prueba

tus resultados con las siguientes cadenas 00011111 y
00001111100

La expresión regular de autómata que se realizó con apoyo de la página

http://rubular.com/ que acepta esta figura es la
0(11111)*0+0(0(11111)*00)*(1111(000)*)(1)*(00)*
Como observamos en la figura 4 acepta las pruebas de las cadenas 00011111 y
00001111100
Figura 4

De igual manera saque una expresión regular que acepta las cadenas de prueba, esto
basándome en las el autómata de la figura 3, de igual manera a mí parecer acepta las
cadenas de prueba

Expresión regular: 0(11111)*00(0(11111)*00)*1111(000)*1*

Referencias

http://antares.sip.ucm.es:8180/webtalf/index.jsp?submenu=temas/submenuRegulares&co

ntenido=temas/exprRegulares

http://di002.edv.uniovi.es/~cueva/publicaciones/AUTOMATA.pdf

https://www.cs.buap.mx/~mtovar/doc/LFAV/ExpRegyGramEf.pdf

http://www.jflap.org/

http://eprints.ucm.es/9771/1/MEMORIA.pdf

https://matedis.wordpress.com/2011/10/08/programa-para-dibujar-grafos-y-automatas/