Matches in SemOpenAlex for { <https://semopenalex.org/work/W939693797> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W939693797 endingPage "620" @default.
- W939693797 startingPage "578" @default.
- W939693797 abstract "As explained in the introduction of Section 1.7, there are no appropriate finite-state automata or finite-state transducers that work “directly” on graphs. Thus, for graphs, the role of automata and transducers is taken over by monadic second-order logic: instead of being accepted by an automaton, a set of graphs is defined by a monadic second-order sentence; and instead of being computed by a transducer, a graph transduction is defined by a definition scheme consisting of monadic second-order formulas. With respect to automata, the original motivation for this approach was Theorem 1.16 (cf. Theorem 5.82): for terms and words monadic second-order logic and finite-state automata have the same expressive power. The aim of this chapter is to show that, in a certain sense, the automata-theoretic characterization of monadic-second order logic for sets of terms and words (Theorem 1.16) can be generalized to transductions. This means of course, that the automata should produce output, i.e., that they are transducers. We will concentrate on transductions that are partial functions, and in particular on deterministic devices, i.e., parameterless definition schemes and deterministic transducers. For these, we will show that monadic second-order transductions of words correspond to two-way finite-state transducers, and that monadic second-order transductions of terms correspond to (compositions of) tree-walking transducers. These transducers are well known from Formal Language Theory. A two-way finite-state transducer is a finite-state automaton with a two-way read-only input tape and a one-way output tape. The input word is placed on the input tape between endmarkers, and the transducer has a reading head that is positioned over a cell of the input tape, at each moment of time." @default.
- W939693797 created "2016-06-24" @default.
- W939693797 creator A5029244225 @default.
- W939693797 creator A5065721598 @default.
- W939693797 date "2012-07-20" @default.
- W939693797 modified "2023-09-24" @default.
- W939693797 title "Transductions of terms and words" @default.
- W939693797 doi "https://doi.org/10.1017/cbo9780511977619.010" @default.
- W939693797 hasPublicationYear "2012" @default.
- W939693797 type Work @default.
- W939693797 sameAs 939693797 @default.
- W939693797 citedByCount "0" @default.
- W939693797 crossrefType "book-chapter" @default.
- W939693797 hasAuthorship W939693797A5029244225 @default.
- W939693797 hasAuthorship W939693797A5065721598 @default.
- W939693797 hasConcept C100481476 @default.
- W939693797 hasConcept C102993220 @default.
- W939693797 hasConcept C112505250 @default.
- W939693797 hasConcept C11413529 @default.
- W939693797 hasConcept C116248031 @default.
- W939693797 hasConcept C118615104 @default.
- W939693797 hasConcept C124656256 @default.
- W939693797 hasConcept C144791301 @default.
- W939693797 hasConcept C165753454 @default.
- W939693797 hasConcept C167822520 @default.
- W939693797 hasConcept C169896238 @default.
- W939693797 hasConcept C174327141 @default.
- W939693797 hasConcept C194525867 @default.
- W939693797 hasConcept C33923547 @default.
- W939693797 hasConcept C41008148 @default.
- W939693797 hasConcept C80444323 @default.
- W939693797 hasConcept C92710233 @default.
- W939693797 hasConceptScore W939693797C100481476 @default.
- W939693797 hasConceptScore W939693797C102993220 @default.
- W939693797 hasConceptScore W939693797C112505250 @default.
- W939693797 hasConceptScore W939693797C11413529 @default.
- W939693797 hasConceptScore W939693797C116248031 @default.
- W939693797 hasConceptScore W939693797C118615104 @default.
- W939693797 hasConceptScore W939693797C124656256 @default.
- W939693797 hasConceptScore W939693797C144791301 @default.
- W939693797 hasConceptScore W939693797C165753454 @default.
- W939693797 hasConceptScore W939693797C167822520 @default.
- W939693797 hasConceptScore W939693797C169896238 @default.
- W939693797 hasConceptScore W939693797C174327141 @default.
- W939693797 hasConceptScore W939693797C194525867 @default.
- W939693797 hasConceptScore W939693797C33923547 @default.
- W939693797 hasConceptScore W939693797C41008148 @default.
- W939693797 hasConceptScore W939693797C80444323 @default.
- W939693797 hasConceptScore W939693797C92710233 @default.
- W939693797 hasLocation W9396937971 @default.
- W939693797 hasOpenAccess W939693797 @default.
- W939693797 hasPrimaryLocation W9396937971 @default.
- W939693797 hasRelatedWork W1480402145 @default.
- W939693797 hasRelatedWork W1829522835 @default.
- W939693797 hasRelatedWork W1878133323 @default.
- W939693797 hasRelatedWork W1995750667 @default.
- W939693797 hasRelatedWork W2020861083 @default.
- W939693797 hasRelatedWork W2088212214 @default.
- W939693797 hasRelatedWork W2095175072 @default.
- W939693797 hasRelatedWork W2158185919 @default.
- W939693797 hasRelatedWork W220767771 @default.
- W939693797 hasRelatedWork W2271311908 @default.
- W939693797 hasRelatedWork W2616076868 @default.
- W939693797 hasRelatedWork W2729459578 @default.
- W939693797 hasRelatedWork W2736679073 @default.
- W939693797 hasRelatedWork W2887249332 @default.
- W939693797 hasRelatedWork W2949994589 @default.
- W939693797 hasRelatedWork W2950632841 @default.
- W939693797 hasRelatedWork W3030301544 @default.
- W939693797 hasRelatedWork W3159481576 @default.
- W939693797 hasRelatedWork W3182603502 @default.
- W939693797 hasRelatedWork W3195218648 @default.
- W939693797 isParatext "false" @default.
- W939693797 isRetracted "false" @default.
- W939693797 magId "939693797" @default.
- W939693797 workType "book-chapter" @default.