make terminator static fn. check input
fix alphabet
remove unnecessary dependencies