TY - GEN

T1 - Complexity theory for splicing systems

AU - Loos, Remco

AU - Ogihara, Mitsunori

PY - 2007/1/1

Y1 - 2007/1/1

N2 - This paper proposes a notion of time complexity in splicing systems and presents fundamental properties of SPLTIME, the class of languages with splicing system time complexity t(n). Its relations to classes based on standard computational models are explored. It is shown that for any function t(n), SPLTIME[t(n)] is included in 1-NSPACE[t(n)]. Expanding on this result, 1-NSPACE[t(n)] is characterized in terms of splicing systems: it is the class of languages accepted by a t(n)-space uniform family of extended splicing systems having production time O(t(n)) with regular rules described by finite automata with at most a constant number of states. As to lower bounds, it is shown that for all functions t(n) > log n, all languages accepted by a pushdown automaton with maximal stack height t(|x|) for a word x are in SPLTIME[t(n)]. From this result, it follows that the regular languages are in SPLTIME[O(log(n))] and that the context-free languages are in SPLTIME[O(n)].

AB - This paper proposes a notion of time complexity in splicing systems and presents fundamental properties of SPLTIME, the class of languages with splicing system time complexity t(n). Its relations to classes based on standard computational models are explored. It is shown that for any function t(n), SPLTIME[t(n)] is included in 1-NSPACE[t(n)]. Expanding on this result, 1-NSPACE[t(n)] is characterized in terms of splicing systems: it is the class of languages accepted by a t(n)-space uniform family of extended splicing systems having production time O(t(n)) with regular rules described by finite automata with at most a constant number of states. As to lower bounds, it is shown that for all functions t(n) > log n, all languages accepted by a pushdown automaton with maximal stack height t(|x|) for a word x are in SPLTIME[t(n)]. From this result, it follows that the regular languages are in SPLTIME[O(log(n))] and that the context-free languages are in SPLTIME[O(n)].

UR - http://www.scopus.com/inward/record.url?scp=34548079575&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34548079575&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-73208-2_29

DO - 10.1007/978-3-540-73208-2_29

M3 - Conference contribution

AN - SCOPUS:34548079575

SN - 3540732071

SN - 9783540732075

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 300

EP - 311

BT - Developments in Language Theory - 11th International Conference, DLT 2007 Proceedings

PB - Springer Verlag

T2 - 11th International Conference on Developments in Language Theory, DLT 2007

Y2 - 3 July 2007 through 6 July 2007

ER -