Que-1: Dibuje un autómata finito determinista y no determinista que comience con 01 o termine con 01 de una string que contenga 0, 1, por ejemplo, 01010100 pero no 000111010.
Explicación: dibuje un DFA y NFA del mismo idioma cuyas strings solo lleguen al estado final que contenga 01 al principio o al final. Si viene algo más, entonces sale al estado final, entonces no acepta.
NFA de la string dada es el siguiente:
El DFA de la string dada es el siguiente:
Aquí, q0 muestra el estado inicial, q1, q2 son los estados de transición y q3, q4, q5, q6, q7 son los estados de transición y final.
Que-2: Dibuje un autómata finito determinista y no determinista que comience con 01 y termine con 01 de una string que contenga 0, 1, por ejemplo, 01000101 pero no 000111001.
Explicación: dibuje un DFA y NFA del mismo idioma cuyas strings solo lleguen al estado final que contenga 01 al principio y al final. Si viene algo más, entonces sale al estado final, entonces no acepta.
NFA de la string dada es el siguiente:
El DFA de la string dada es el siguiente:
Aquí, q0 muestra el estado inicial, q1, q2, q3 son los estados de transición y q4, q5 son los estados de transición y final.
Que-3: Dibuje un autómata finito determinista que reconozca una string que contenga la representación binaria 0, 1 en forma de 2 múltiples, por ejemplo, 1010 pero no 01101.
Explicación: dibuje un DFA cuyas strings solo lleguen al estado final que contenga 0 al final, lo que significa que el número es múltiplo de 2. Si llega algo más, salga al estado final, entonces no acepta.
El DFA de la string dada es el siguiente:
Aquí, q0 muestra el estado inicial y final, q1 son los estados de transición.
Que-4: Dibuje un autómata finito determinista que reconozca una string que contenga la representación binaria 0, 1 en forma de 3 múltiple, por ejemplo, 1001 pero no 1000.
Explicación: dibuje un DFA cuya string solo llegue al estado final que contenga un número binario que sea múltiplo de 3. Si llega algo más, salga al estado final, entonces no acepta.
El DFA de la string dada es el siguiente:
Aquí, q0 muestra el estado inicial y final, q1, q2 son los estados de transición.