No es posible.

Sí que es posible construir un AFD que reconozca el mismo lenguaje y que tenga más de cuatro estados, y además no es necesario que tenga estados inaccesibles.

Es posible sí y sólo sí el autómata resultante tiene estados inaccesibles.

Es posible sí y sólo sí es un autómata de otro tipo, no un AFD.

Es plano y tiene 5 regiones.

El número de regiones del grafo depende de su representación.

Es plano y tiene 4 regiones.

No es plano y tiene 8 regiones.

El grafo es 4-coloreable.

El número cromático del grafo es 4.

El grafo es 5-coloreable.

El número cromático del grafo es 5.

Hacer la intersección de G1 y G2 y calcular un camino hamiltoniano cerrado.

Hacer la unión de G1 y G2 y calcular un camino euleriano cerrado.

Hacer la intersección de G1 y G2 y calcular un camino euleriano cerrado.

Hacer la unión de G1 y G2 y calcular un camino hamiltoniano cerrado.

No existe camino hamiltoniano

El grafo tiene camino hamiltoniano, pero no se puede calcular con el algoritmo por no ser un digrafo completo.

El camino hamiltoniano resultante es: 3 e 1 a 2 c 3 f 4 g 1 d 4 b 2

El camino hamiltoniano resultante es: 4 b 2 c 3 e 1

Su recorrido en postorden es a b c a + x +

Su recorrido en postorden es a b c + x a +

Su recorrido en inorden es a + x b + c a

Su recorrido en preorden es + a x + b c a

No posee árbol generador.

Tiene exáctamente 1 árbol generador.

Tiene exáctamente 8 árboles generadores.

Tiene exáctamente 4 árboles generadores.

Si G no tiene ciclos, sería posible que ninguna de sus matrices de accesibilidad de orden k, para cualquier k, fuera nula.

Si se cumple que la matriz de accesibilidad de orden k es idéntica a la de orden k+1, entonces dichas matrices tienen que tener o bien todos sus elementos nulos, o bien ningún elemento nulo.

Si no hay bucles en ninguno de los vértices de G, entonces la matriz de accesibilidad de orden k, para cualquier k, tiene todos los elementos de la diagonal iguales a 0.

Si G está asociado a una relación de orden, entonces ninguna de sus matrices de accesibilidad de orden k, para cualquier k, será nula.

1 a₄ 4 a₆ 3 a₃ 1 es un camino cerrado.

1 a₄ 4 a₉ 5 a₈ 4 a₇ 5 es un camino simple.

1 a₄ 4 a₉ 5 a₈ 4 a₆ 3 a₅ 2 a₂ 1 es un ciclo.

1 a₄ 4 a₉ 5 a₈ 4 a₇ 5 es un camino elemental.