References & Citations
Computer Science > Formal Languages and Automata Theory
Title: $\mathrm{Pal}^k$ Is Linear Recognizable Online
(Submitted on 21 Apr 2014 (v1), last revised 30 Jan 2015 (this version, v4))
Abstract: Given a language $L$ that is online recognizable in linear time and space, we construct a linear time and space online recognition algorithm for the language $L\cdot\mathrm{Pal}$, where $\mathrm{Pal}$ is the language of all nonempty palindromes. Hence for every fixed positive $k$, $\mathrm{Pal}^k$ is online recognizable in linear time and space. Thus we solve an open problem posed by Galil and Seiferas in 1978.
Submission history
From: Dmitry Kosolobov [view email][v1] Mon, 21 Apr 2014 17:07:52 GMT (60kb)
[v2] Mon, 11 Aug 2014 19:17:25 GMT (20kb)
[v3] Wed, 10 Sep 2014 18:36:41 GMT (62kb)
[v4] Fri, 30 Jan 2015 14:34:02 GMT (34kb)
Link back to: arXiv, form interface, contact.