Sean fsa y pda dos predicados tales que fsa(x) significa que x es un autómata de estado finito, y pda(y) significa que y es un autómata pushdown. Sea equivalente otro predicado tal que equivalente (a, b) significa que a y b son equivalentes. ¿Cuál de los siguientes enunciados lógicos de primer orden representa lo siguiente:
Cada autómata de estado finito tiene un autómata pushdown equivalente.
(A) A
(B) B
(C) C
(D) D
Respuesta: (A)
Explicación: Considerando cada opción:
(A) Si todo es una FSA, entonces existe una PDA equivalente para todo.
(B) No es el caso que para todo y si existe un FSA entonces tiene un PDA equivalente.
(C) Todo es una FSA y tiene un PDA equivalente.
(D) Todo es una PDA y existe una FSA equivalente.
Por lo tanto, la opción (A) es correcta.
Comente a continuación si encuentra algo incorrecto en la publicación anterior.
Publicación traducida automáticamente
Artículo escrito por GeeksforGeeks-1 y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA