fix hte_same_length()
add construction of LR(0) automaton (untested)