| |
| | Home Page Growing Context-Sensitive Languages (Site not responding. Last check: 2007-09-17) |
 | | It is well-known that the class of context-sensitive languages (CSL) coincides with the nondeterministic space complexity class NSPACE(n), and that there exist context-sensitive languages for which the membership problem is PSPACE-complete. |
 | | Dahlhaus and Warmuth prove that all growing context-sensitive languages (GCSL), that is, the languages that are generated by growing context-sensitive grammars, have membership problems that are solvable in polynomial time. |
 | | From the definition it might appear that GCSL is not an interesting class of languages, but as shown in [ Buntrock & Lorys, 1992] GCSL is an abstract family of languages, that is, this class of languages is closed under union, concatenation, iteration, intersection with regular languages, epsilon-free homomorphisms and inverse homomorphisms. |
| www.tcs.mu-luebeck.de /pages/buntrock/research/gcsl.html (430 words) |
|