Nee automata and term rewrite systems (Extended abstract)

被引：0
|
作者：
Tison, S [1 ]
机构：
[1] Univ Lille 1, LIFL, F-59655 Villeneuve Dascq, France
来源：
REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS | 2000年 / 1833卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This tutorial is devoted to tree automata. We will present some of the most fruitful applications of tree automata in rewriting theory and we will give an outline of the current state of research on tree automata. We give here just a sketch of the presentation. The reader can also refer to the on-line book "Tree Automata and Their Applications" [CDG(+)97].
引用
收藏
页码：27 / 30
页数：4
相关论文
共 50 条
12345