Detecting patterns in finite regular and context-free languages

From MaRDI portal
Publication:990125

DOI10.1016/J.IPL.2009.11.002zbMATH Open1206.68181arXiv0906.3220OpenAlexW2056080555MaRDI QIDQ990125FDOQ990125


Authors: Narad Rampersad, Jeffrey Shallit Edit this on Wikidata


Publication date: 2 September 2010

Published in: Information Processing Letters (Search for Journal in Brave)

Abstract: We consider variations on the following problem: given an NFA M and a pattern p, does there exist an x in L(M) such that p matches x? We consider the restricted problem where M only accepts a finite language. We also consider the variation where the pattern p is required only to match a factor of x. We show that both of these problems are NP-complete. We also consider the same problems for context-free grammars; in this case the problems become PSPACE-complete.


Full work available at URL: https://arxiv.org/abs/0906.3220




Recommendations




Cites Work


Cited In (9)





This page was built for publication: Detecting patterns in finite regular and context-free languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q990125)