Linear bounded automaton

ID: linear-bounded-automaton

New to topics? Read the docs here!