CIVILICA We Respect the Science
(ناشر تخصصی کنفرانسهای کشور / شماره مجوز انتشارات از وزارت فرهنگ و ارشاد اسلامی: ۸۹۷۱)

A Pumping Lemma for Lattice-Valued Tree Automata

عنوان مقاله: A Pumping Lemma for Lattice-Valued Tree Automata
شناسه ملی مقاله: 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,

خلاصه مقاله:
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/