Apropriada e possível para número de estados pequenos
Nós: representam todos os estados
Setas: para todas as transições permitidas (one-step)
Last updated 4 years ago