Minimice los autómatas finitos deterministas sin estados de aceptación

8

Tengo un autómata finito sin estados finales / de aceptación, por lo que F está vacío. ¿Cómo lo minimizo?

Obtuve esto en una prueba y no sabía cómo abordar el problema porque el autómata no tenía estados de aceptación. ¿Es un estado inicial único con todas las transiciones en sí mismo la respuesta correcta?

automata finite-automata

— crs12decoder
fuente

55

Si. Algunas respuestas son así de simples.

— Luke Mathieson

No es un transductor entonces.

— Grijesh Chauhan

@GrijeshChauhan ¿En qué parte de la pregunta encontró el término "transductor"?

— Raphael

6

Su suposición es correcta y puede verla un poco más formalmente de la siguiente manera. Dejar $\mathcal{A} = (Q, A, \cdot, q_0, F)$ ser un DFA La congruencia de Nerode $\sim$ en $Q$ se define de la siguiente manera:

p \sim q if and only if, for every word u \in A^{*}, p \cdot u \in F ⟺ q \cdot u \in F

$p \sim q \text{ if and only if, for every word $u \in A^*$, }\ p \cdot u \in F \iff q \cdot u \in F$ El conjunto de estados del autómata mínimo de

A

$\mathcal{A}$ es

Q / \sim

$Q/{\sim}$ . Ahora si

F

$F$ es el conjunto vacío, todos los estados de

Q

$Q$ son

\sim

$\sim$ -equivalente y por lo tanto

Q / \sim

$Q/{\sim}$ tiene solo un elemento, digamos

Q / \sim = {1}

$Q/{\sim} = \{1\}$ . No tienes elección para las transiciones y por lo tanto

1 \cdot a = 1

$1 \cdot a = 1$ para cada letra

a

$a$ . Finalmente

1

$1$ es el estado inicial, pero no hay estado final.

— J.-E. Alfiler
fuente

2

No hay absolutamente ninguna necesidad de usar la congruencia de Nerode para demostrar que un autómata de un estado es mínimo para el lenguaje vacío. Es bastante formal decir que un autómata sin estados de aceptación acepta

\emptyset

$\emptyset$ y que un autómata de un estado que acepta un idioma particular debe ser mínimo porque cada autómata debe tener al menos un estado.

— David Richerby

1

@ David-Richerby Lo sé perfectamente. Acabo de mencionar que este resultado coincide con la definición estándar que se da en los cursos estándar.

— J.-E.

7

Un autómata finito sin estados finales denota el lenguaje L = $\emptyset$ . Para minimizar un DFA, minimizamos el número de estados y el idioma indicado debe ser el mismo. Por definición de DFA debemos tener un estado inicial $q_0$ entonces $| Q | \geq 1$ y como usted dice, necesitamos incluir la función de transición con toda la transición a $q_0$ (porque crear estados muertos es contraproducente).

— Renato Sanhueza
fuente