Date of this Version
Control grammars, a generalization of context-free grammars recently introduced for use in natural language recognition, are investigated. In particular, it is shown that a hierarchy of non-context-free languages, called the Control Language Hierarchy (CLH), generated by control grammars can be recognized in polynomial time. Previously, the best known upper bound was exponential time. It is also shown that CLH is in NC(2) the class of languages recognizable by uniform boolean circuits of polynomial size and O(log2 n) depth.
Michael Palis and Sunil Shende, "Upper Bounds on Recognition of a Hierarchy of Non-Context-Free Languages", . June 1988.
Date Posted: 31 October 2007