let nbAcceptSt  = "buch_NbAcceptStates"