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