این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
Iranian Journal of Fuzzy Systems، جلد ۱۳، شماره ۲، صفحات ۷۱-۹۴
عنوان فارسی
چکیده فارسی مقاله
کلیدواژه‌های فارسی مقاله
عنوان انگلیسی Alternating Regular Tree Grammars in the Framework of Lattice-Valued Logic
چکیده انگلیسی مقاله In this paper, two different ways of introducing alternation for lattice-valued (referred to as {L}valued) regular tree grammars and {L}valued top-down tree automata are compared. One is the way which defines the alternating regular tree grammar, i.e., alternation is governed by the non-terminals of the grammar and the other is the way which combines state with alternation. The first way is taken over to prove a main theorem: the class of languages generated by an {L}valued alternating regular tree grammar {LAG}) is equal to the class of languages accepted by an {L}valued alternating top-down tree automaton {LAA}). The second way is taken over to define a new type of automaton by combining the {L}valued alternating top-down tree automaton with stack, called {L}-valued alternating stack tree automaton {LASA} and the generative power of it is compared to some well-known language classes, especially to {LAA} and to {LAG}Also, we have derived a characterization of the state alternating regular tree grammar {LSAG}) in terms of {LASA}.
کلیدواژه‌های انگلیسی مقاله
نویسندگان مقاله مریم قرآنی |
faculty of mathematical sciences, shahrood university of technology, shahrood, iran
سازمان اصلی تایید شده: دانشگاه صنعتی شاهرود (Shahrood university of technology)

محمد مهدی زاهدی | mohammad mehdi
department of mathematics, graduate university of advanced technology, kerman, iran
سازمان اصلی تایید شده: دانشگاه تحصیلات تکمیلی صنعتی کرمان (Graduate university of advanced technology)

نشانی اینترنتی http://ijfs.usb.ac.ir/article_2360_9a374f39abaa600423ce805945586dd1.pdf
فایل مقاله فایلی برای مقاله ذخیره نشده است
کد مقاله (doi)
زبان مقاله منتشر شده en
موضوعات مقاله منتشر شده
نوع مقاله منتشر شده
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات