Results for "Linear Bounded Automaton"