Author:
Xie Jingnan,Hunt Harry B.
Abstract
AbstractIn Freydenberger (Theory Comput Syst 53(2):159–193, 2013. https://doi.org/10.1007/s00224-012-9389-0), Freydenberger shows that the set of invalid computations of an extended Turing machine can be recognized by a synchronized regular expression [as defined in Della Penna et al. (Acta Informatica 39(1):31–70, 2003. https://doi.org/10.1007/s00236-002-0099-y)]. Therefore, the widely discussed predicate “$$=\{0,1\}^*$$
=
{
0
,
1
}
∗
” is not recursively enumerable for synchronized regular expressions (SRE). In this paper, we employ a stronger form of non-recursive enumerability called productiveness and show that the set of invalid computations of a deterministic Turing machine on a single input can be recognized by a synchronized regular expression. Hence, for a polynomial-time decidable subset of SRE, where each expression generates either $$\{0, 1\}^*$$
{
0
,
1
}
∗
or $$\{0, 1\}^* -\{w\}$$
{
0
,
1
}
∗
-
{
w
}
where $$w \in \{0, 1\}^*$$
w
∈
{
0
,
1
}
∗
, the predicate “$$=\{0,1\}^*$$
=
{
0
,
1
}
∗
” is productive. This result can be easily applied to other classes of language descriptors due to the simplicity of the construction in its proof. This result also implies that many computational problems, especially promise problems, for SRE are productive. These problems include language class comparison problems (e.g., does a given synchronized regular expression generate a context-free language?), and equivalence and containment problems of several types (e.g., does a given synchronized regular expression generate a language equal to a fixed unbounded regular set?). In addition, we study the descriptional complexity of SRE. A generalized method for studying trade-offs between SRE and many classes of language descriptors is established.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Pumping Lemmas Can be “Harmful”;Theory of Computing Systems;2024-04-05
2. Decision Problems Concerning L Systems;SSRN Electronic Journal;2024
3. Pumping Lemmas Could be 'Harmful';SSRN Electronic Journal;2023