A Note on the Complexity of General D0L Membership
A number of upper and lower bounds have been obtained for various problems concerning L systems (see PB-85). In most cases the bounds were rather close; however, for the general membership problem the upper bound was P, and the lower was deterministic log space. In this note we show that membership can be decided deterministically in log^2 n space, which makes it very unlikely that the problem is complete for P. We also show that non-membership is as hard as any problem solvable in nondeterministic log n space. Thus both bounds are improved.
1985 ◽
Vol 40
(10)
◽
pp. 1052-1058
◽
Keyword(s):
Keyword(s):
2017 ◽
Vol 7
(2)
◽
pp. 169-181
Keyword(s):
2014 ◽
Vol 2014
◽
pp. 1-4
◽
Keyword(s):
1989 ◽
Vol 31
(2)
◽
pp. 135-149
◽
Keyword(s):
2018 ◽
Vol 2018
(745)
◽
pp. 155-188
◽
2010 ◽
Vol 02
(03)
◽
pp. 363-377
◽
Keyword(s):
2011 ◽
Vol 12
(01n02)
◽
pp. 1-17
◽
Keyword(s):