Category:Linear bounded automaton

Wrong pluralization, please delete