fixed NFA, made trees, made digraph, made driver, made primitive parser