IO and OI. II
From MaRDI portal
Publication:1243578
DOI10.1016/0022-0000(78)90051-XzbMATH Open0371.68020OpenAlexW2078866770MaRDI QIDQ1243578FDOQ1243578
Authors: Joost Engelfriet, Erik Meineche Schmidt 
Publication date: 1978
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-0000(78)90051-x
Cites Work
- Bottom-up and top-down tree transformations— a comparison
- Initial Algebra Semantics and Continuous Algebras
- Data Types as Lattices
- Title not available (Why is that?)
- Title not available (Why is that?)
- Heterogeneous algebras
- Title not available (Why is that?)
- Generalized finite automata theory with an application to a decision problem of second-order logic
- Two Families of Languages Related to ALGOL
- Decidable Properties of Monadic Functional Schemas
- Generalized sequential machine maps
- Mappings and grammars on trees
- Simple program schemes and formal languages
- Tree-Manipulating Systems and Church-Rosser Theorems
- Algebraic automata and context-free sets
- A generalized approach to formal languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Inductive methods for proving properties of programs
- A note on infinite trees
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An extension of ALGOL-like languages
- Equational languages
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (51)
- Title not available (Why is that?)
- A connection between concurrency and language theory
- Decidability of EDT0L structural equivalence
- Algebraic solutions to recursion schemes
- Parameter-reduction of higher level grammars
- The OI-hierarchy is closed under control
- Macro tree transducers
- From Tree-Based Generators to Delegation Networks
- An operational and denotational approach to non-context-freeness
- Basic notions of universal algebra for language theory and graph grammars
- Hasse diagrams for classes of deterministic bottom-up tree-to-tree-series transformations
- Multiple context-free tree grammars: lexicalization and characterization
- Generated models and the \(\omega\)-rule: the nondeterministic case
- A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
- Deterministic tree pushdown automata and monadic tree rewriting systems
- Basic tree transducers
- Look-ahead on pushdowns
- Term rewriting with prefix context constraints and bottom-up strategies
- Synchronized tree automata
- Extended macro grammars and stack controlled machines
- Fundamental properties of infinite trees
- Pushdown machines for the macro tree transducer
- Attributed tree grammars
- The IO- and OI-hierarchies
- Iterated stack automata and complexity classes
- Tree transducers, L systems, and two-way machines
- An axiomatic definition of context-free rewriting and its application to NLC graph grammars
- Tree transducers with external functions
- Decidability of the finiteness of ranges of tree transductions
- A representation of trees by languages. I
- The generative power of delegation networks
- Tree-based picture generation
- Expressive power of typed and type-free programming languages
- Equational weighted tree transformations
- Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity
- On the expressive power of finitely typed and universally polymorphic recursive procedures
- Output string languages of compositions of deterministic macro tree transducers
- A Mezei-Wright theorem for categorical algebras
- Principal abstract families of weighted tree languages
- Closure properties of linear context-free tree languages with an application to optimality theory
- Title not available (Why is that?)
- Hierarchies of hyper-AFLs
- DPDA's in 'Atomic normal form' and applications to equivalence problems
- All solutions of a system of recursion equations in infinite trees and other contraction theories
- Implementation of data types by algebraic methods
- XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles
- Modular tree transducers
- Approximation properties of abstract data types
- Two Equivalent Regularizations for Tree Adjoining Grammars
- Towards more precise rewriting approximations
Uses Software
This page was built for publication: IO and OI. II
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1243578)
