p1: Dados dos lenguajes y
sobre el alfabeto
. Anotamos con
la unión, con
la intersección,
el complemento y con
la diferencia.
Verifica o contradice:
- cierto:supongamos que
es un lenguaje que genera palabras de la forma
y que
genera el lenguaje
por lo tanto
generaran un lenguaje de la forma
por lo tanto
serán todas las combinaciones del lenguaje
excepto las que cumplan con el patrón
.
serán todas las palabras del lenguaje
excepto las que cumplan la forma
.
serán todas las palabras del lenguaje
excepto las que cumplan la forma
.
por lo tanto la intersección de ambos lenguajeserán todas las palabras de
excepto las que cumplan el patrón
.
- cierto:supongamos que
p2: Construye un autómata finito determinista que “acepta” el lenguaje L que contiene todas las palabras (finitas) sobre el alfabeto {0, 1} con un número par de 0s y un número impar de 1s.
El modelo del autómata en JFlap lo podéis descargar en este enlace: autómata practica 2
Edit: Corregido el autómata que tenia mal un enlace, un 0 en lugar de un 1. Muchas gracias a Ymourino
Ese autómata aceptaría la palabra “1”, pero no la palabra “00”.
Propondría: http://img52.imageshack.us/img52/5467/imagen5nr.png
la palabra 00 tiene cero 1’s y cero es un numero par por lo tanto 00 tiene un numero par de 0’s y un numero par de 1’s la cual no es valida
Toda la razón del mundo, el autómata que has publicado es correctísimo. Eres un crack, la ayuda que nos das a todos con estas publicaciones es incomensurable!
teniendo en cuenta que no quiero ser informático y necesito un bachelor degree, lo hago para gente que este en mi situación.
Vamos a los que necesitan el titulo pero jamas aplicaran los conocimientos