Recent questions tagged linear-bound-automata