Classes
BaseBerrySethi
DetWordAutom
NondetWordAutom
WordBerrySethi