Pages that link to "Item:Q2540272"
From MaRDI portal
The following pages link to Generalized sequential machine maps (Q2540272):
Displaying 50 items.
- Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition (Q385017) (← links)
- Forward and backward application of symbolic tree transducers (Q404011) (← links)
- Composition closure of linear extended top-down tree transducers (Q519891) (← links)
- Hasse diagrams for classes of deterministic bottom-up tree-to-tree-series transformations (Q557898) (← links)
- Basic tree transducers (Q579951) (← links)
- Branching synchronization grammars with nested tables (Q596320) (← links)
- Deterministic top-down tree transducers with iterated look-ahead (Q673068) (← links)
- Modular tree transducers (Q807012) (← links)
- A complete classification of deterministic root-to-frontier tree transformation classes (Q807029) (← links)
- Compositions of constant weighted extended tree transducers (Q832923) (← links)
- Definability results for top-down tree transducers (Q832950) (← links)
- Defining syntax-directed translations by tree bimorphisms (Q840769) (← links)
- Compositions of tree series transformations (Q860891) (← links)
- Deaccumulation techniques for improving provability (Q882487) (← links)
- Look-ahead removal for total deterministic top-down tree transducers (Q906394) (← links)
- A complete rewriting system for a monoid of tree transformation classes (Q918216) (← links)
- Compositions of extended top-down tree transducers (Q948090) (← links)
- Deciding equivalence of top-down XML transformations in polynomial time (Q1021574) (← links)
- Extended multi bottom-up tree transducers (Q1038420) (← links)
- Macro tree transducers (Q1073576) (← links)
- Pushdown machines for the macro tree transducer (Q1089810) (← links)
- High level tree transducers and iterated pushdown tree transducers (Q1096399) (← links)
- Tree transducers, L systems, and two-way machines (Q1136239) (← links)
- Interdependent translation schemes (Q1151758) (← links)
- The formal power of one-visit attribute grammars (Q1157968) (← links)
- Recognizable formal power series on trees (Q1164440) (← links)
- Morphismes et bimorphismes d'arbres (Q1165018) (← links)
- Systolic trees and systolic language recognition by tree automata (Q1172401) (← links)
- Top-down tree transducers with two-way tree walking look-ahead (Q1185007) (← links)
- Alphabetic tree relations (Q1193896) (← links)
- Tree transducers with external functions (Q1208712) (← links)
- Natural state transformations (Q1217073) (← links)
- Tree adjunct grammars (Q1225947) (← links)
- Un théorème de duplication pour les forets algébriques (Q1229588) (← links)
- Surface tree languages and parallel derivation trees (Q1233730) (← links)
- Intercalation lemmas for tree transducer languages (Q1237574) (← links)
- Augmented transition networks and their relation to tree transducers (Q1238432) (← links)
- A generalized approach to formal languages (Q1239608) (← links)
- IO and OI. I (Q1241985) (← links)
- IO and OI. II (Q1243578) (← links)
- On tree transducers for partial functions (Q1247295) (← links)
- Pumping lemmas for term languages (Q1250713) (← links)
- Generalized \({}^{1,5}\) sequential machine maps (Q1252717) (← links)
- Fixed-point constructions in order-enriched categories (Q1255084) (← links)
- Decidability of the finiteness of ranges of tree transductions (Q1271464) (← links)
- The equivalence of bottom-up and top-down tree-to-graph transducers (Q1271618) (← links)
- On the equivalence problem for letter-to-letter top-down tree transducers (Q1275081) (← links)
- The translation power of top-down tree-to-graph transducers (Q1337465) (← links)
- Synthesized and inherited functions. A new computational model for syntax-directed semantics (Q1338894) (← links)
- Tree-based picture generation (Q1583092) (← links)
