Rewriting Preserving Recognizability of Finite Tree Languages
Sándor Vágvölgyi · arXiv (Cornell University) · 2010
We show that left-linear generalized semi-monadic TRSs effectively preserving recognizability of finite tree languages (are EPRF-TRSs). We show that reachability, joinability, and local confluence are decidable for EPRF-TRSs.