DPDA support added;
moving convenience classes from common package
abstracting (non)deterministic classes