"1"^^ . . . . . . . . . "linear-bounded automaton"@en .