Posibles preguntas para el primer examen practico de TALF

tirando de archivo me encontre unas preguntitas de exámenes prácticos de talf:

Modelar el autómata tal que acepte el lenguaje que contenga palabras con 2 o más pares de ceros consecutivos .

Ej 0000 , 100100100 , 111111001100 , 11111100100100100

autómata que contenga dos pares de ceros consecutivos

Tomado de la corrección en el primer comentario

Modelar el autómata tal que acepte el lenguaje que contenga palabras con como mínimo 4 ceros .

minimo 4  cerosModelar el autómata tal que acepte el lenguaje tal que { a^n b^m / n>= 1 y m>=2 }

una a dos besModelar el autómata tal que acepte el lenguaje tal que formula_3

tres a dos b alguna cModelar el autómata tal que acepte el lenguaje tal que acepte todos los binarios excepto los que contengan la subcadena 101.

Lo hacemos por el método del complemento primero modelamos un autómata que acepte palabras que contengan la subcadena 101.

acepta subcadena 101aplicamos el metodo del complemento (los estados finales se transforman en no finales y viceversa)

no acepta subcadena 101

Modelar el autómata tal que acepte el lenguaje binario tal que la tercera cifra por la derecha sea distinta a la segunda cifra por la izquierda.

segundo izquierda distinto tercero derechaDado un alfabeto {a, b, c}, construir un AFD que acepte aquellas palabras que contengan al menos dos ‘a’, una ‘b’ y una ‘c’

dos a una b una cteneis aqui el Autómata

6 Replies to “Posibles preguntas para el primer examen practico de TALF”

  1. como verás la imágen del primer autómata es erronea, la solución correcta sería la siguiente que es un AFD completo que acepta palabras con 2 o más pares de ceros consecutivos. En otras palabras, cualquier palabra con un número par de ceros consecutivos > 4 ceros son aceptadas. Ejemplos:

    0000–> palabra mínima aceptada.

    1000001-> acepta tiene un número de 2 pares de ceros consecutivos.

    En resumen tenemos que aceptar cualquier palabra que contenga almenos la cadena “0000” porque ya tendría 2 pares de ceros consecutivos.

  2. jgalonso creo que te falta una transicion en el estado q4 sobre si mismo con el simbolo 0 sino se muere ahí. Saludos!

  3. la ultima cadena de ese aceptor es 00001* ,
    q2 ya indica que ingreso un par de ceros. un bucle alli de uno estaría bien. en q4 , ya hay dos pares de ceros, un bucle con cero..
    Suerte Saludos.

Leave a Reply

Your email address will not be published. Required fields are marked *