Classes
BaseBerrySethi
NondetWordAutom
WordBerrySethi