The Regular Post Embedding Problem is a variant of Post's Correspondence Problem where one compares strings with the subword relation and imposes additional regular constraints on admissible solutions. It is known that this problem is decidable, albeit with very high complexity. We consider and solve variant problems where the set of solutions is compared to regular constraint sets and where one counts the number of solutions. Our positive results rely on two non-trivial pumping lemmas for Post-embedding languages and their complements. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Chambart, P., & Schnoebelen, P. (2010). Pumping and counting on the regular post embedding problem. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6199 LNCS, pp. 64–75). https://doi.org/10.1007/978-3-642-14162-1_6
Mendeley helps you to discover research relevant for your work.