The Equivalence Between Weighted top-down Tree Automata
محل انتشار: سومین کنفرانس ملی تکنولوژی مهندسی برق و کامپیوتر
سال انتشار: 1396
نوع سند: مقاله کنفرانسی
زبان: انگلیسی
مشاهده: 455
فایل این مقاله در 5 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ETECH03_018
تاریخ نمایه سازی: 1 مرداد 1397
چکیده مقاله:
This paper investigates the equivalence problem of weighted top-down tree automata over totally ordered lattices (or WTAs, for short). First, we define initialized WTA and some concepts corresponding to initialized WTA are given. Also, we prove the decidability of the equivalence problem for initialized WTAs. Next, we present an algorithmic procedure for deciding the equivalence between two initialized WTAs. Moreover, we analyze the complexity of the given algorithm. Finally, we give an example for the equivalence problem.
کلیدواژه ها:
نویسندگان
Maryam Ghorani
Department of Applied Mathematics and Computer Sciences Shahrood University of Technology Shahrood, Iran