Syntax-Tree Regular Expression Based DFA FormalConstruction
Representation of Events in Nerve Nets and Finite Automata