Dinh Trong Hieu

Learn More
We describe a general decomposition mechanism to express the derivation relation of a word rewriting system R as the composition of a (regular) substitution followed by the derivation relation of a system R ∪ D, where R is a strict subsystem of R and D is the Dyck rewriting system. From this decomposition, we deduce that the system R (resp. R −1) preserves(More)
  • 1