Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Rémy Gilleron"'
Autor:
Sophie Tison, Rémy Gilleron
Publikováno v:
Fundamenta Informaticae. 24:157-175
We present a collection of results on regular tree languages and rewrite systems. Moreover we prove the undecidability of the preservation of regularity by rewrite systems. More precisely we prove that it is undecidable whether or not for a set E of