Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949091211> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2949091211 abstract "We consider symbolic tree automata (sta) and symbolic tree transducers (stt). We characterize s-recognizable tree languages (which are the tree languages recognizable by sta) in terms of (classical) recognizable tree languages and relabelings. We prove that sta and the recently introduced variable tree automata are incomparable with respect to their recognition power. We define symbolic regular tree grammars and characterize s-regular tree languages in terms of regular tree languages and relabelings. As a consequence, we obtain that s-recognizable tree languages are the same as s-regular tree languages. We show that the syntactic composition of two stt computes the composition of the tree transformations computed by each stt, provided that (1) the first one is deterministic or the second one is linear and (2) the first one is total or the second is nondeleting. We consider forward application and backward application of stt and prove that the backward application of an stt to any s-recognizable tree language yields an s-recognizable tree language. We give a linear stt of which the range is not an s-recognizable tree language. We show that the forward application of simple and linear stt preserves s-recognizability. As a corollary, we obtain that the type checking problem of simple and linear stt and the inverse type checking problem of arbitrary stt is decidable." @default.
- W2949091211 created "2019-06-27" @default.
- W2949091211 creator A5013068281 @default.
- W2949091211 creator A5061481182 @default.
- W2949091211 date "2012-08-27" @default.
- W2949091211 modified "2023-09-27" @default.
- W2949091211 title "Forward and Backward Application of Symbolic Tree Transducers" @default.
- W2949091211 cites W1522532427 @default.
- W2949091211 cites W1533251067 @default.
- W2949091211 cites W1570418357 @default.
- W2949091211 cites W1593799327 @default.
- W2949091211 cites W1594273357 @default.
- W2949091211 cites W1963587568 @default.
- W2949091211 cites W1966106497 @default.
- W2949091211 cites W1979629711 @default.
- W2949091211 cites W1981870753 @default.
- W2949091211 cites W1984256985 @default.
- W2949091211 cites W1994920572 @default.
- W2949091211 cites W2073663206 @default.
- W2949091211 cites W2086722931 @default.
- W2949091211 cites W2150256214 @default.
- W2949091211 cites W2673028924 @default.
- W2949091211 cites W2911295106 @default.
- W2949091211 hasPublicationYear "2012" @default.
- W2949091211 type Work @default.
- W2949091211 sameAs 2949091211 @default.
- W2949091211 citedByCount "0" @default.
- W2949091211 crossrefType "posted-content" @default.
- W2949091211 hasAuthorship W2949091211A5013068281 @default.
- W2949091211 hasAuthorship W2949091211A5061481182 @default.
- W2949091211 hasConcept C100560664 @default.
- W2949091211 hasConcept C112505250 @default.
- W2949091211 hasConcept C113174947 @default.
- W2949091211 hasConcept C11413529 @default.
- W2949091211 hasConcept C114614502 @default.
- W2949091211 hasConcept C140745168 @default.
- W2949091211 hasConcept C153269930 @default.
- W2949091211 hasConcept C154945302 @default.
- W2949091211 hasConcept C163797641 @default.
- W2949091211 hasConcept C197855036 @default.
- W2949091211 hasConcept C2778583254 @default.
- W2949091211 hasConcept C33923547 @default.
- W2949091211 hasConcept C39890363 @default.
- W2949091211 hasConcept C41008148 @default.
- W2949091211 hasConcept C52370388 @default.
- W2949091211 hasConcept C57097763 @default.
- W2949091211 hasConcept C69298649 @default.
- W2949091211 hasConcept C80191660 @default.
- W2949091211 hasConcept C80444323 @default.
- W2949091211 hasConcept C84927040 @default.
- W2949091211 hasConceptScore W2949091211C100560664 @default.
- W2949091211 hasConceptScore W2949091211C112505250 @default.
- W2949091211 hasConceptScore W2949091211C113174947 @default.
- W2949091211 hasConceptScore W2949091211C11413529 @default.
- W2949091211 hasConceptScore W2949091211C114614502 @default.
- W2949091211 hasConceptScore W2949091211C140745168 @default.
- W2949091211 hasConceptScore W2949091211C153269930 @default.
- W2949091211 hasConceptScore W2949091211C154945302 @default.
- W2949091211 hasConceptScore W2949091211C163797641 @default.
- W2949091211 hasConceptScore W2949091211C197855036 @default.
- W2949091211 hasConceptScore W2949091211C2778583254 @default.
- W2949091211 hasConceptScore W2949091211C33923547 @default.
- W2949091211 hasConceptScore W2949091211C39890363 @default.
- W2949091211 hasConceptScore W2949091211C41008148 @default.
- W2949091211 hasConceptScore W2949091211C52370388 @default.
- W2949091211 hasConceptScore W2949091211C57097763 @default.
- W2949091211 hasConceptScore W2949091211C69298649 @default.
- W2949091211 hasConceptScore W2949091211C80191660 @default.
- W2949091211 hasConceptScore W2949091211C80444323 @default.
- W2949091211 hasConceptScore W2949091211C84927040 @default.
- W2949091211 hasLocation W29490912111 @default.
- W2949091211 hasOpenAccess W2949091211 @default.
- W2949091211 hasPrimaryLocation W29490912111 @default.
- W2949091211 hasRelatedWork W1499263147 @default.
- W2949091211 hasRelatedWork W1509363043 @default.
- W2949091211 hasRelatedWork W1549978238 @default.
- W2949091211 hasRelatedWork W1561298068 @default.
- W2949091211 hasRelatedWork W1573544306 @default.
- W2949091211 hasRelatedWork W1590141138 @default.
- W2949091211 hasRelatedWork W1608073497 @default.
- W2949091211 hasRelatedWork W1751962834 @default.
- W2949091211 hasRelatedWork W1803835116 @default.
- W2949091211 hasRelatedWork W1879697109 @default.
- W2949091211 hasRelatedWork W1957220325 @default.
- W2949091211 hasRelatedWork W1991862543 @default.
- W2949091211 hasRelatedWork W1992018052 @default.
- W2949091211 hasRelatedWork W2012552318 @default.
- W2949091211 hasRelatedWork W2105233779 @default.
- W2949091211 hasRelatedWork W2112156179 @default.
- W2949091211 hasRelatedWork W2294036641 @default.
- W2949091211 hasRelatedWork W1568378341 @default.
- W2949091211 hasRelatedWork W1871112346 @default.
- W2949091211 hasRelatedWork W2460787742 @default.
- W2949091211 isParatext "false" @default.
- W2949091211 isRetracted "false" @default.
- W2949091211 magId "2949091211" @default.
- W2949091211 workType "article" @default.