scala/util/automata
Classes
BaseBerrySethi
NondetWordAutom
WordBerrySethi