History

for article: Linear bounded automaton