Linear bounded automaton

From Free net encyclopedia