Os modelos por SEDs descrevem o comportamento do sistema sem restrição, isto é, dado que uma seqüência de eventos ocorreu, as transições de estados resultantes são determinadas unicamente pelas características dinâmicas do sistema. Isso faz do autômato um gerador de