Estado inicial

Lista inicial de estados visitados

inicial
Lista final de
estados visitados

Lista inicial de acciones

Lista final de acciones

Estado final
Estado actual

Siguiente estado determinado

El texto de la acción

Verifica que el estado sgte no

haya sido visitado
Las acciones
ramifican el árbol