Dado el autómata de la siguiente figura, ¿Cuál de las siguientes expresiones regulares lo define?

Dado el alfabeto Σ = {0, 1, 2, 3}, ¿Cuál de los siguientes autómatas corresponde con un autómata finito que acepte el lenguaje formado por las cadenas que separen con 1 un número par de 0, contengan como mínimo un 2, y finalicen con un 3?

NOTA: Se consideran números pares aquellos comprendidos en el intervalo {0, 2, 4, 6, …, ∞}

Un lenguaje L es reconocido por un autómata finito no determinista, M_ND,  ¿Se puede afirmar que ese mismo lenguaje, L, podrá ser reconocido por un autómata finito determinista, M_D?

Siendo A, B y C conjuntos, y U el conjunto universal, emparejar expresiones de conjuntos con los siguientes diagramas de Venn:

Diagramas de Venn

Diagrama 1

Diagrama 2

Diagrama 3

Diagrama 4

Diagrama 5