Matches in SemOpenAlex for { <https://semopenalex.org/work/W191399025> ?p ?o ?g. }
- W191399025 endingPage "606" @default.
- W191399025 startingPage "595" @default.
- W191399025 abstract "The paper proposes a general notation for deterministic automata traversing finite undirected structures: the graph-walking automata. This abstract notion covers such models as two-way finite automata, including their multi-tape and multi-head variants, tree-walking automata and their extension with pebbles, picture-walking automata, space-bounded Turing machines, etc. It is then demonstrated that every graph-walking automaton can be transformed to an equivalent reversible graph-walking automaton, so that every step of its computation is logically reversible. This is done with a linear blow-up in the number of states, where the linear factor depends on the degree of graphs being traversed. The construction directly applies to all basic models covered by this abstract notion." @default.
- W191399025 created "2016-06-24" @default.
- W191399025 creator A5005683089 @default.
- W191399025 creator A5009330299 @default.
- W191399025 date "2013-01-01" @default.
- W191399025 modified "2023-09-27" @default.
- W191399025 title "Reversibility of Computations in Graph-Walking Automata" @default.
- W191399025 cites W1523903039 @default.
- W191399025 cites W1527664624 @default.
- W191399025 cites W1557116728 @default.
- W191399025 cites W1587779614 @default.
- W191399025 cites W1975698236 @default.
- W191399025 cites W1987709131 @default.
- W191399025 cites W1989657066 @default.
- W191399025 cites W2012346719 @default.
- W191399025 cites W2014144845 @default.
- W191399025 cites W2015392385 @default.
- W191399025 cites W2023439061 @default.
- W191399025 cites W2030011197 @default.
- W191399025 cites W2039585018 @default.
- W191399025 cites W2039936247 @default.
- W191399025 cites W2042527825 @default.
- W191399025 cites W2061073612 @default.
- W191399025 cites W2089690927 @default.
- W191399025 cites W2096112873 @default.
- W191399025 cites W2105259569 @default.
- W191399025 cites W2115130389 @default.
- W191399025 cites W2136462002 @default.
- W191399025 cites W3101299045 @default.
- W191399025 cites W4210254879 @default.
- W191399025 cites W4233798822 @default.
- W191399025 doi "https://doi.org/10.1007/978-3-642-40313-2_53" @default.
- W191399025 hasPublicationYear "2013" @default.
- W191399025 type Work @default.
- W191399025 sameAs 191399025 @default.
- W191399025 citedByCount "9" @default.
- W191399025 countsByYear W1913990252014 @default.
- W191399025 countsByYear W1913990252017 @default.
- W191399025 countsByYear W1913990252018 @default.
- W191399025 countsByYear W1913990252019 @default.
- W191399025 countsByYear W1913990252020 @default.
- W191399025 countsByYear W1913990252023 @default.
- W191399025 crossrefType "book-chapter" @default.
- W191399025 hasAuthorship W191399025A5005683089 @default.
- W191399025 hasAuthorship W191399025A5009330299 @default.
- W191399025 hasConcept C112505250 @default.
- W191399025 hasConcept C11413529 @default.
- W191399025 hasConcept C116248031 @default.
- W191399025 hasConcept C118615104 @default.
- W191399025 hasConcept C132525143 @default.
- W191399025 hasConcept C13280743 @default.
- W191399025 hasConcept C139423837 @default.
- W191399025 hasConcept C174327141 @default.
- W191399025 hasConcept C176809094 @default.
- W191399025 hasConcept C194525867 @default.
- W191399025 hasConcept C205649164 @default.
- W191399025 hasConcept C29248071 @default.
- W191399025 hasConcept C30788636 @default.
- W191399025 hasConcept C33923547 @default.
- W191399025 hasConcept C41008148 @default.
- W191399025 hasConcept C45374587 @default.
- W191399025 hasConcept C50348692 @default.
- W191399025 hasConcept C75745568 @default.
- W191399025 hasConcept C80444323 @default.
- W191399025 hasConcept C92710233 @default.
- W191399025 hasConceptScore W191399025C112505250 @default.
- W191399025 hasConceptScore W191399025C11413529 @default.
- W191399025 hasConceptScore W191399025C116248031 @default.
- W191399025 hasConceptScore W191399025C118615104 @default.
- W191399025 hasConceptScore W191399025C132525143 @default.
- W191399025 hasConceptScore W191399025C13280743 @default.
- W191399025 hasConceptScore W191399025C139423837 @default.
- W191399025 hasConceptScore W191399025C174327141 @default.
- W191399025 hasConceptScore W191399025C176809094 @default.
- W191399025 hasConceptScore W191399025C194525867 @default.
- W191399025 hasConceptScore W191399025C205649164 @default.
- W191399025 hasConceptScore W191399025C29248071 @default.
- W191399025 hasConceptScore W191399025C30788636 @default.
- W191399025 hasConceptScore W191399025C33923547 @default.
- W191399025 hasConceptScore W191399025C41008148 @default.
- W191399025 hasConceptScore W191399025C45374587 @default.
- W191399025 hasConceptScore W191399025C50348692 @default.
- W191399025 hasConceptScore W191399025C75745568 @default.
- W191399025 hasConceptScore W191399025C80444323 @default.
- W191399025 hasConceptScore W191399025C92710233 @default.
- W191399025 hasLocation W1913990251 @default.
- W191399025 hasOpenAccess W191399025 @default.
- W191399025 hasPrimaryLocation W1913990251 @default.
- W191399025 hasRelatedWork W1480029335 @default.
- W191399025 hasRelatedWork W1500042303 @default.
- W191399025 hasRelatedWork W1626247505 @default.
- W191399025 hasRelatedWork W1981823970 @default.
- W191399025 hasRelatedWork W1989657066 @default.
- W191399025 hasRelatedWork W2004898185 @default.
- W191399025 hasRelatedWork W2014934350 @default.
- W191399025 hasRelatedWork W2035428201 @default.
- W191399025 hasRelatedWork W204309664 @default.
- W191399025 hasRelatedWork W2070017566 @default.