Package wki.automaton
Interfaces
WKI_Automaton