A Pumping Lemma for Lattice-Valued Tree Automata
عنوان مقاله: A Pumping Lemma for Lattice-Valued Tree Automata
شناسه ملی مقاله: ICFUZZYS11_005
منتشر شده در یازدهمین کنفرانس سیستم های فازی ایران در سال 1390
شناسه ملی مقاله: ICFUZZYS11_005
منتشر شده در یازدهمین کنفرانس سیستم های فازی ایران در سال 1390
مشخصات نویسندگان مقاله:
M Ghorani - Department of Mathematics, Alzahra University, Tehran, Iran
M.M Zahedi - Faculty of Mathematical Science, Tarbiat Modares University, Tehran, Iran
B.A Ghaznavi-ghosoni۳ - Faculty of Mathematics and Computer Science, Amirkabir University of Technology,
خلاصه مقاله:
M Ghorani - Department of Mathematics, Alzahra University, Tehran, Iran
M.M Zahedi - Faculty of Mathematical Science, Tarbiat Modares University, Tehran, Iran
B.A Ghaznavi-ghosoni۳ - Faculty of Mathematics and Computer Science, Amirkabir University of Technology,
In this paper, we consider complete residuated lattice-valued nite tree automata (L-valued nite tree automata). In this note, after recalling some preliminaries related to complete residuated lattice and L-valued tree automata we de ne L-valued (regular) tree language and some unary L-valued predicates. Further, a pumping lemma for L-valued tree automata is obtained. Our pumping lemma extends the pumping lemma obtained for L-valued automata
کلمات کلیدی: Tree automata, Pumping lemma, L-valued tree language
صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/119091/