Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566306817> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1566306817 endingPage "48" @default.
- W1566306817 startingPage "33" @default.
- W1566306817 abstract "Infinite-state automata are a new invention: they are automata that have an infinite number of states represented by words, transitions defined using rewriting, and with sets of initial and final states. Infinite-state automata have gained recent interest due to a remarkable result by Morvan and Stirling, which shows that automata with transitions defined using rational rewriting precisely capture context-sensitive (NLinSpace) languages. In this paper, we show that infinite automata defined using a form of multi-stack rewriting precisely defines double exponential time (more precisely, 2ETime, the class of problems solvable in $2^{2^{O(n)}}$ time). The salient aspect of this characterization is that the automata have no ostensible limits on time nor space, and neither direction of containment with respect to 2ETime is obvious. In this sense, the result captures the complexity class qualitatively, by restricting the power of rewriting." @default.
- W1566306817 created "2016-06-24" @default.
- W1566306817 creator A5026601607 @default.
- W1566306817 creator A5048623277 @default.
- W1566306817 creator A5078894561 @default.
- W1566306817 date "2008-01-01" @default.
- W1566306817 modified "2023-09-26" @default.
- W1566306817 title "An Infinite Automaton Characterization of Double Exponential Time" @default.
- W1566306817 cites W1510535793 @default.
- W1566306817 cites W1517623691 @default.
- W1566306817 cites W1518696294 @default.
- W1566306817 cites W1547822735 @default.
- W1566306817 cites W1691700263 @default.
- W1566306817 cites W1816620374 @default.
- W1566306817 cites W1842117537 @default.
- W1566306817 cites W1860772589 @default.
- W1566306817 cites W1971416129 @default.
- W1566306817 cites W2021426226 @default.
- W1566306817 cites W2115587183 @default.
- W1566306817 cites W2124452782 @default.
- W1566306817 cites W2124876285 @default.
- W1566306817 cites W2151033407 @default.
- W1566306817 cites W2163102368 @default.
- W1566306817 cites W2326418800 @default.
- W1566306817 cites W3102239021 @default.
- W1566306817 cites W3105456813 @default.
- W1566306817 cites W4241108585 @default.
- W1566306817 doi "https://doi.org/10.1007/978-3-540-87531-4_5" @default.
- W1566306817 hasPublicationYear "2008" @default.
- W1566306817 type Work @default.
- W1566306817 sameAs 1566306817 @default.
- W1566306817 citedByCount "17" @default.
- W1566306817 countsByYear W15663068172012 @default.
- W1566306817 countsByYear W15663068172013 @default.
- W1566306817 countsByYear W15663068172014 @default.
- W1566306817 countsByYear W15663068172015 @default.
- W1566306817 countsByYear W15663068172016 @default.
- W1566306817 countsByYear W15663068172017 @default.
- W1566306817 crossrefType "book-chapter" @default.
- W1566306817 hasAuthorship W1566306817A5026601607 @default.
- W1566306817 hasAuthorship W1566306817A5048623277 @default.
- W1566306817 hasAuthorship W1566306817A5078894561 @default.
- W1566306817 hasBestOaLocation W15663068172 @default.
- W1566306817 hasConcept C112505250 @default.
- W1566306817 hasConcept C11413529 @default.
- W1566306817 hasConcept C118615104 @default.
- W1566306817 hasConcept C134306372 @default.
- W1566306817 hasConcept C151376022 @default.
- W1566306817 hasConcept C154690210 @default.
- W1566306817 hasConcept C154945302 @default.
- W1566306817 hasConcept C167822520 @default.
- W1566306817 hasConcept C171250308 @default.
- W1566306817 hasConcept C192562407 @default.
- W1566306817 hasConcept C199360897 @default.
- W1566306817 hasConcept C2777212361 @default.
- W1566306817 hasConcept C2780841128 @default.
- W1566306817 hasConcept C33923547 @default.
- W1566306817 hasConcept C41008148 @default.
- W1566306817 hasConcept C80444323 @default.
- W1566306817 hasConceptScore W1566306817C112505250 @default.
- W1566306817 hasConceptScore W1566306817C11413529 @default.
- W1566306817 hasConceptScore W1566306817C118615104 @default.
- W1566306817 hasConceptScore W1566306817C134306372 @default.
- W1566306817 hasConceptScore W1566306817C151376022 @default.
- W1566306817 hasConceptScore W1566306817C154690210 @default.
- W1566306817 hasConceptScore W1566306817C154945302 @default.
- W1566306817 hasConceptScore W1566306817C167822520 @default.
- W1566306817 hasConceptScore W1566306817C171250308 @default.
- W1566306817 hasConceptScore W1566306817C192562407 @default.
- W1566306817 hasConceptScore W1566306817C199360897 @default.
- W1566306817 hasConceptScore W1566306817C2777212361 @default.
- W1566306817 hasConceptScore W1566306817C2780841128 @default.
- W1566306817 hasConceptScore W1566306817C33923547 @default.
- W1566306817 hasConceptScore W1566306817C41008148 @default.
- W1566306817 hasConceptScore W1566306817C80444323 @default.
- W1566306817 hasLocation W15663068171 @default.
- W1566306817 hasLocation W15663068172 @default.
- W1566306817 hasOpenAccess W1566306817 @default.
- W1566306817 hasPrimaryLocation W15663068171 @default.
- W1566306817 hasRelatedWork W1505988186 @default.
- W1566306817 hasRelatedWork W1965036803 @default.
- W1566306817 hasRelatedWork W1967689296 @default.
- W1566306817 hasRelatedWork W2029597530 @default.
- W1566306817 hasRelatedWork W2059086655 @default.
- W1566306817 hasRelatedWork W2078381694 @default.
- W1566306817 hasRelatedWork W2086344316 @default.
- W1566306817 hasRelatedWork W2408033335 @default.
- W1566306817 hasRelatedWork W2561414822 @default.
- W1566306817 hasRelatedWork W3193381808 @default.
- W1566306817 isParatext "false" @default.
- W1566306817 isRetracted "false" @default.
- W1566306817 magId "1566306817" @default.
- W1566306817 workType "book-chapter" @default.