Keyword : recognizability


Layered Transducing Term Rewriting System and Its Recognizability Preserving Property
Toshinori TAKAI Hiroyuki SEKI Youhei FUJINAKA Yuichi KAJI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/02/01
Vol. E86-D  No. 2 ; pp. 285-295
Type of Manuscript:  Special Section PAPER (Special Issue on Selected Papers from LA Symposium)
Category: Term Rewriting Systems
Keyword: 
term rewriting systemtree automatonrecognizabilityrecognizability preserving propertylayered transducing TRS
 Summary | Full Text:PDF