On the complexity of some extended word problems defined by cancellation rules
Information Processing Letters
on Rewriting techniques and applications
Information and Computation
Finite derivation type implies the homological finiteness condition FP3
Journal of Symbolic Computation
Thue specifications and their monadic second-order properties
Fundamenta Informaticae
The Reachability Problem for Ground TRS and Some Extensions
TAPSOFT '89/CAAP '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming
Layered Transducing Term Rewriting System and Its Recognizability Preserving Property
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Decidable Approximations of Term Rewriting Systems
RTA '96 Proceedings of the 7th International Conference on Rewriting Techniques and Applications
Formal Languages and Word-Rewriting
Term Rewriting, French Spring School of Theoretical Computer Science, Advanced Course
MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
Match-Bounded String Rewriting Systems
Applicable Algebra in Engineering, Communication and Computing
Decidable call-by-need computations in term rewriting
Information and Computation
Tree automata for rewrite strategies
Journal of Symbolic Computation
On tree automata that certify termination of left-linear term rewriting systems
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Closure of Hedge-Automata Languages by Hedge Rewriting
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Closure of Tree Automata Languages under Innermost Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
For the whole class of linear term rewriting systems, we define bottom-up rewriting which is a restriction of the usual notion of rewriting. We show that bottom-up rewriting effectively inverse-preserves recognizability and analyze the complexity of the underlying construction. The Bottom-Up class (BU) is, by definition, the set of linear systems for which every derivation can be replaced by a bottom-up derivation. Membership to BU turns out to be undecidable; we are thus lead to define more restricted classes: the classes SBU(k), k ∈ N of Strongly Bottom-Up(k) systems for which we show that membership is decidable. We define the class of Strongly Bottom-Up systems by SBU = Uk∈N SBU(k). We give a polynomial sufficient condition for a system to be in SBU. The class SBU contains (strictly) several classes of systems which were already known to inverse preserve recognizability.