Matches in SemOpenAlex for { <https://semopenalex.org/work/W2009702975> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2009702975 endingPage "73" @default.
- W2009702975 startingPage "55" @default.
- W2009702975 abstract "The article surveys some decidability results for DPDAs on infinite words (omega-DPDA). We summarize some recent results on the decidability of the regularity and the equivalence problem for the class of weak omega-DPDAs. Furthermore, we present some new results on the parity index problem for omega-DPDAs. For the specification of a parity condition, the states of the omega-DPDA are assigned priorities (natural numbers), and a run is accepting if the highest priority that appears infinitely often during a run is even. The basic simplification question asks whether one can determine the minimal number of priorities that are needed to accept the language of a given omega-DPDA. We provide some decidability results on variations of this question for some classes of omega-DPDAs." @default.
- W2009702975 created "2016-06-24" @default.
- W2009702975 creator A5021229064 @default.
- W2009702975 date "2014-05-21" @default.
- W2009702975 modified "2023-10-16" @default.
- W2009702975 title "Decision Problems for Deterministic Pushdown Automata on Infinite Words" @default.
- W2009702975 cites W128496866 @default.
- W2009702975 cites W1491036809 @default.
- W2009702975 cites W1508555606 @default.
- W2009702975 cites W1725438563 @default.
- W2009702975 cites W1989863177 @default.
- W2009702975 cites W200063938 @default.
- W2009702975 cites W2038722538 @default.
- W2009702975 cites W2043998485 @default.
- W2009702975 cites W2046366128 @default.
- W2009702975 cites W2064465758 @default.
- W2009702975 cites W2079601390 @default.
- W2009702975 cites W2111753126 @default.
- W2009702975 cites W2151033407 @default.
- W2009702975 cites W2502103274 @default.
- W2009702975 cites W3022006420 @default.
- W2009702975 cites W3148876553 @default.
- W2009702975 doi "https://doi.org/10.4204/eptcs.151.4" @default.
- W2009702975 hasPublicationYear "2014" @default.
- W2009702975 type Work @default.
- W2009702975 sameAs 2009702975 @default.
- W2009702975 citedByCount "0" @default.
- W2009702975 crossrefType "journal-article" @default.
- W2009702975 hasAuthorship W2009702975A5021229064 @default.
- W2009702975 hasBestOaLocation W20097029751 @default.
- W2009702975 hasConcept C109214941 @default.
- W2009702975 hasConcept C112505250 @default.
- W2009702975 hasConcept C114614502 @default.
- W2009702975 hasConcept C116248031 @default.
- W2009702975 hasConcept C118615104 @default.
- W2009702975 hasConcept C121332964 @default.
- W2009702975 hasConcept C138885662 @default.
- W2009702975 hasConcept C153269930 @default.
- W2009702975 hasConcept C158008952 @default.
- W2009702975 hasConcept C2777151079 @default.
- W2009702975 hasConcept C2779557605 @default.
- W2009702975 hasConcept C2780069185 @default.
- W2009702975 hasConcept C33923547 @default.
- W2009702975 hasConcept C41008148 @default.
- W2009702975 hasConcept C41895202 @default.
- W2009702975 hasConcept C74919329 @default.
- W2009702975 hasConcept C77944639 @default.
- W2009702975 hasConcept C80444323 @default.
- W2009702975 hasConceptScore W2009702975C109214941 @default.
- W2009702975 hasConceptScore W2009702975C112505250 @default.
- W2009702975 hasConceptScore W2009702975C114614502 @default.
- W2009702975 hasConceptScore W2009702975C116248031 @default.
- W2009702975 hasConceptScore W2009702975C118615104 @default.
- W2009702975 hasConceptScore W2009702975C121332964 @default.
- W2009702975 hasConceptScore W2009702975C138885662 @default.
- W2009702975 hasConceptScore W2009702975C153269930 @default.
- W2009702975 hasConceptScore W2009702975C158008952 @default.
- W2009702975 hasConceptScore W2009702975C2777151079 @default.
- W2009702975 hasConceptScore W2009702975C2779557605 @default.
- W2009702975 hasConceptScore W2009702975C2780069185 @default.
- W2009702975 hasConceptScore W2009702975C33923547 @default.
- W2009702975 hasConceptScore W2009702975C41008148 @default.
- W2009702975 hasConceptScore W2009702975C41895202 @default.
- W2009702975 hasConceptScore W2009702975C74919329 @default.
- W2009702975 hasConceptScore W2009702975C77944639 @default.
- W2009702975 hasConceptScore W2009702975C80444323 @default.
- W2009702975 hasLocation W20097029751 @default.
- W2009702975 hasLocation W20097029752 @default.
- W2009702975 hasOpenAccess W2009702975 @default.
- W2009702975 hasPrimaryLocation W20097029751 @default.
- W2009702975 hasRelatedWork W1518704718 @default.
- W2009702975 hasRelatedWork W1541953080 @default.
- W2009702975 hasRelatedWork W1980915723 @default.
- W2009702975 hasRelatedWork W1989948713 @default.
- W2009702975 hasRelatedWork W2041168146 @default.
- W2009702975 hasRelatedWork W2131390643 @default.
- W2009702975 hasRelatedWork W218528102 @default.
- W2009702975 hasRelatedWork W2186244857 @default.
- W2009702975 hasRelatedWork W3037570608 @default.
- W2009702975 hasRelatedWork W3105591226 @default.
- W2009702975 hasVolume "151" @default.
- W2009702975 isParatext "false" @default.
- W2009702975 isRetracted "false" @default.
- W2009702975 magId "2009702975" @default.
- W2009702975 workType "article" @default.