Matches in SemOpenAlex for { <https://semopenalex.org/work/W157050004> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W157050004 abstract "We propose the e-model for leaf languages which complements 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 $mathcal{C}$ that is definable in the e-model, either $mathrm{coUP}subseteqmathcal{C}$ or $mathcal{C}subseteqmathrm{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 Σ 2 P , Π 2 P , and Δ 2 P . These are the first gap theorems for Δ 2 P . This work is related to former work by Bovet, Crescenzi, and Silvestri, Vereshchagin, Hertrampf et al., Burtschick and Vollmer, and Borchert et al." @default.
- W157050004 created "2016-06-24" @default.
- W157050004 creator A5000024520 @default.
- W157050004 creator A5039047212 @default.
- W157050004 date "2005-01-01" @default.
- W157050004 modified "2023-09-26" @default.
- W157050004 title "Machines that can Output Empty Words" @default.
- W157050004 cites W1494771138 @default.
- W157050004 cites W1497509478 @default.
- W157050004 cites W1816633894 @default.
- W157050004 cites W1851356403 @default.
- W157050004 cites W1964316889 @default.
- W157050004 cites W2005079695 @default.
- W157050004 cites W2019522567 @default.
- W157050004 cites W2020558489 @default.
- W157050004 cites W2039934838 @default.
- W157050004 cites W2042177219 @default.
- W157050004 cites W2061489447 @default.
- W157050004 cites W2076508310 @default.
- W157050004 cites W2116250539 @default.
- W157050004 cites W2135603157 @default.
- W157050004 cites W78316004 @default.
- W157050004 cites W2589794727 @default.
- W157050004 hasPublicationYear "2005" @default.
- W157050004 type Work @default.
- W157050004 sameAs 157050004 @default.
- W157050004 citedByCount "0" @default.
- W157050004 crossrefType "journal-article" @default.
- W157050004 hasAuthorship W157050004A5000024520 @default.
- W157050004 hasAuthorship W157050004A5039047212 @default.
- W157050004 hasConcept C114614502 @default.
- W157050004 hasConcept C118615104 @default.
- W157050004 hasConcept C121332964 @default.
- W157050004 hasConcept C134306372 @default.
- W157050004 hasConcept C154945302 @default.
- W157050004 hasConcept C18762648 @default.
- W157050004 hasConcept C194886279 @default.
- W157050004 hasConcept C202444582 @default.
- W157050004 hasConcept C2777212361 @default.
- W157050004 hasConcept C2778114796 @default.
- W157050004 hasConcept C33923547 @default.
- W157050004 hasConcept C3853638 @default.
- W157050004 hasConcept C41008148 @default.
- W157050004 hasConcept C45962547 @default.
- W157050004 hasConcept C62520636 @default.
- W157050004 hasConcept C81150689 @default.
- W157050004 hasConceptScore W157050004C114614502 @default.
- W157050004 hasConceptScore W157050004C118615104 @default.
- W157050004 hasConceptScore W157050004C121332964 @default.
- W157050004 hasConceptScore W157050004C134306372 @default.
- W157050004 hasConceptScore W157050004C154945302 @default.
- W157050004 hasConceptScore W157050004C18762648 @default.
- W157050004 hasConceptScore W157050004C194886279 @default.
- W157050004 hasConceptScore W157050004C202444582 @default.
- W157050004 hasConceptScore W157050004C2777212361 @default.
- W157050004 hasConceptScore W157050004C2778114796 @default.
- W157050004 hasConceptScore W157050004C33923547 @default.
- W157050004 hasConceptScore W157050004C3853638 @default.
- W157050004 hasConceptScore W157050004C41008148 @default.
- W157050004 hasConceptScore W157050004C45962547 @default.
- W157050004 hasConceptScore W157050004C62520636 @default.
- W157050004 hasConceptScore W157050004C81150689 @default.
- W157050004 hasLocation W1570500041 @default.
- W157050004 hasOpenAccess W157050004 @default.
- W157050004 hasPrimaryLocation W1570500041 @default.
- W157050004 hasRelatedWork W1971790772 @default.
- W157050004 hasRelatedWork W1973737783 @default.
- W157050004 hasRelatedWork W1995181842 @default.
- W157050004 hasRelatedWork W2002182665 @default.
- W157050004 hasRelatedWork W2029181882 @default.
- W157050004 hasRelatedWork W2046805782 @default.
- W157050004 hasRelatedWork W2082778556 @default.
- W157050004 hasRelatedWork W2083343164 @default.
- W157050004 hasRelatedWork W2087004834 @default.
- W157050004 hasRelatedWork W2107232728 @default.
- W157050004 hasRelatedWork W2122215055 @default.
- W157050004 hasRelatedWork W2144268026 @default.
- W157050004 hasRelatedWork W2150960963 @default.
- W157050004 hasRelatedWork W2151524380 @default.
- W157050004 hasRelatedWork W2226604542 @default.
- W157050004 hasRelatedWork W2594728702 @default.
- W157050004 hasRelatedWork W2964373391 @default.
- W157050004 hasRelatedWork W2969757706 @default.
- W157050004 hasRelatedWork W3022736722 @default.
- W157050004 hasRelatedWork W3210803605 @default.
- W157050004 isParatext "false" @default.
- W157050004 isRetracted "false" @default.
- W157050004 magId "157050004" @default.
- W157050004 workType "article" @default.