We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.FL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Formal Languages and Automata Theory

Title: $\mathrm{Pal}^k$ Is Linear Recognizable Online

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.
Comments: 18 pages, 5 figures, presented in SOFSEM 2015
Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS)
Journal reference: Proc. SOFSEM 2015. Springer, 2015. LNCS Vol. 8939, 289-301
Cite as: arXiv:1404.5244 [cs.FL]
  (or arXiv:1404.5244v4 [cs.FL] for this version)

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.