ECCC-Report TR05-147https://eccc.weizmann.ac.il/report/2005/147Comments and Revisions published for TR05-147en-usTue, 06 Dec 2005 21:57:21 +0200
Paper TR05-147
| Machines that can Output Empty Words |
Christian Glaßer,
Stephen Travers
https://eccc.weizmann.ac.il/report/2005/147We propose the e-model for leaf languages which generalizes the known balanced and unbalanced concepts. Inspired by the neutral behavior of rejecting paths of NP machines, we allow transducers to output empty words.
The paper explains several advantages of the new model. A central aspect is that it allows us to prove strong gap theorems: For any class C that is definable in the e-model, either $coUP \subseteq C$ or $C \subseteq NP$. For the existing models, gap theorems, where they exist at all, only identify gaps for the definability by regular languages. We prove gaps for the general case, i.e., for the definability by arbitrary languages. We obtain such general gaps for NP, coNP, 1NP, and co1NP. For the regular case we prove further gap theorems for Sigma_2, Pi_2, and Delta_2. These are the first gap theorems for Delta_2.
This work is related to former work by Bovet, Crescenzi, and Silvestri, Vereshchagin, Hertrampf et al., Burtschick and Vollmer, and Borchert et al.
Tue, 06 Dec 2005 21:57:21 +0200https://eccc.weizmann.ac.il/report/2005/147