scala/util/automata
Classes
BaseBerrySethi
DetWordAutom
NondetWordAutom
WordBerrySethi