Matches in SemOpenAlex for { <https://semopenalex.org/work/W2545813981> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2545813981 abstract "Multi-valued partial CFL functions are functions computed along accepting computation paths by one-way nondeterministic pushdown automata, equipped with write-only output tapes, which are allowed to reject an input, in comparison with single-valued partial CFL functions. We give an answer to a fundamental question, raised by Konstantinidis, Santean, and Yu [Act. Inform. 43 (2007) 395-417], of whether all such multi-valued partial CFL functions can be refined by single-valued partial CFL functions. We negatively solve this open question by presenting a special multi-valued partial CFL function as an example function and by proving that no refinement of this particular function becomes a single-valued partial CFL function. This contrasts an early result of Kobayashi [Inform. Control 15 (1969) 95-109] that multi-valued partial NFA functions are always refined by single-valued NFA functions, where NFA functions are computed by one-way nondeterministic finite automata with output tapes. Our example function turns out to be unambiguously 2-valued, and thus we obtain a stronger separation result, in which no refinement of unambiguously 2-valued partial CFL functions can be single-valued. For the proof of this fact, we first introduce a new concept of colored automata having no output tapes but having colors, which can simulate pushdown automata equipped with constant-space output tapes. We then conduct an extensive combinatorial analysis on the behaviors of transition records of stack contents (called stack histories) of these colored automata." @default.
- W2545813981 created "2016-11-04" @default.
- W2545813981 creator A5085555714 @default.
- W2545813981 date "2016-10-23" @default.
- W2545813981 modified "2023-09-27" @default.
- W2545813981 title "Not All Multi-Valued Partial CFL Functions Are Refined by Single-Valued Functions." @default.
- W2545813981 cites W1570350357 @default.
- W2545813981 cites W1647964108 @default.
- W2545813981 cites W1849715658 @default.
- W2545813981 cites W2002089154 @default.
- W2545813981 cites W2008999657 @default.
- W2545813981 cites W2029554012 @default.
- W2545813981 cites W2029722901 @default.
- W2545813981 cites W2066449302 @default.
- W2545813981 cites W2091348237 @default.
- W2545813981 cites W2103517359 @default.
- W2545813981 cites W2141718869 @default.
- W2545813981 cites W2168431435 @default.
- W2545813981 cites W2539931802 @default.
- W2545813981 cites W2962893111 @default.
- W2545813981 cites W2963195214 @default.
- W2545813981 cites W2964041859 @default.
- W2545813981 hasPublicationYear "2016" @default.
- W2545813981 type Work @default.
- W2545813981 sameAs 2545813981 @default.
- W2545813981 citedByCount "0" @default.
- W2545813981 crossrefType "posted-content" @default.
- W2545813981 hasAuthorship W2545813981A5085555714 @default.
- W2545813981 hasConcept C112505250 @default.
- W2545813981 hasConcept C118615104 @default.
- W2545813981 hasConcept C14036430 @default.
- W2545813981 hasConcept C176181172 @default.
- W2545813981 hasConcept C33923547 @default.
- W2545813981 hasConcept C41008148 @default.
- W2545813981 hasConcept C77944639 @default.
- W2545813981 hasConcept C78458016 @default.
- W2545813981 hasConcept C80444323 @default.
- W2545813981 hasConcept C86803240 @default.
- W2545813981 hasConceptScore W2545813981C112505250 @default.
- W2545813981 hasConceptScore W2545813981C118615104 @default.
- W2545813981 hasConceptScore W2545813981C14036430 @default.
- W2545813981 hasConceptScore W2545813981C176181172 @default.
- W2545813981 hasConceptScore W2545813981C33923547 @default.
- W2545813981 hasConceptScore W2545813981C41008148 @default.
- W2545813981 hasConceptScore W2545813981C77944639 @default.
- W2545813981 hasConceptScore W2545813981C78458016 @default.
- W2545813981 hasConceptScore W2545813981C80444323 @default.
- W2545813981 hasConceptScore W2545813981C86803240 @default.
- W2545813981 hasLocation W25458139811 @default.
- W2545813981 hasOpenAccess W2545813981 @default.
- W2545813981 hasPrimaryLocation W25458139811 @default.
- W2545813981 hasRelatedWork W1492339733 @default.
- W2545813981 hasRelatedWork W1515866581 @default.
- W2545813981 hasRelatedWork W1545040203 @default.
- W2545813981 hasRelatedWork W1724302595 @default.
- W2545813981 hasRelatedWork W1805733700 @default.
- W2545813981 hasRelatedWork W193668954 @default.
- W2545813981 hasRelatedWork W1966686249 @default.
- W2545813981 hasRelatedWork W2063209591 @default.
- W2545813981 hasRelatedWork W2103500400 @default.
- W2545813981 hasRelatedWork W2568450934 @default.
- W2545813981 hasRelatedWork W2604577107 @default.
- W2545813981 hasRelatedWork W2622632531 @default.
- W2545813981 hasRelatedWork W2725627089 @default.
- W2545813981 hasRelatedWork W2963259237 @default.
- W2545813981 hasRelatedWork W3025438976 @default.
- W2545813981 hasRelatedWork W3117682121 @default.
- W2545813981 hasRelatedWork W3138415507 @default.
- W2545813981 hasRelatedWork W3151786004 @default.
- W2545813981 hasRelatedWork W51899782 @default.
- W2545813981 hasRelatedWork W72138669 @default.
- W2545813981 isParatext "false" @default.
- W2545813981 isRetracted "false" @default.
- W2545813981 magId "2545813981" @default.
- W2545813981 workType "article" @default.