On ground tree transformations and congruences induced by tree automata.

DOI10.1016/S0304-3975(03)00279-2zbMATH Open1046.68067OpenAlexW2065699939MaRDI QIDQ1401416FDOQ1401416

Sándor Vágvölgyi

Publication date: 17 August 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(03)00279-2

Recommendations

• Recognizing relations by tree automata
• Deterministic bottom-up tree transducers and ground term rewrite systems
• Restricted ground tree transducers
• Congruences, homomorphisms and languages of tree automata
• A fast algorithm for constructing a tree automaton recognizing a congruential tree language

zbMATH Keywords

Tree automataGround term rewrite systemsGround tree transducers

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Cites Work

• Title not available (Why is that?)
• Tree generating regular systems
• Shostak's congruence closure as completion
• A fast algorithm for generating reduced ground rewriting systems from a set of ground equations
• A fast algorithm for constructing a tree automaton recognizing a congruential tree language
• Restricted ground tree transducers
• Derivation trees of ground term rewriting systems.
• Title not available (Why is that?)
• Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems
• Congruential complements of ground term rewrite systems
• Title not available (Why is that?)
• The Church-Rosser property for ground term-rewriting systems is decidable
• Minimal equational representations of recognizable tree languages
• Proof lengths for equational completion

Cited In (5)

• Approximate consistency for transformations on words and trees
• Title not available (Why is that?)
• The ground tree transducer game with identical tree automata
• A fast algorithm for constructing a tree automaton recognizing a congruential tree language
• Restricted ground tree transducers

This page was built for publication: On ground tree transformations and congruences induced by tree automata.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1401416)