Publisher of Iranian Journals and Conference Proceedings

Please waite ..
CIVILICAWe Respect the Science
Publisher of Iranian Journals and Conference Proceedings
عنوان
Paper

The Equivalence Between Weighted top-down Tree Automata

تعداد صفحات: 5 | تعداد نمایش خلاصه: 124 | نظرات: 0
سال انتشار: 1396
کد COI Paper: ETECH03_018
زبان Paper: Englishglish
(فایل این Paper در 5 صفحه با فرمت PDF قابل دریافت می باشد)

راهنمای دانلود فایل کامل این Paper

اگر در مجموعه سیویلیکا عضو نیستید، به راحتی می توانید از طریق فرم روبرو اصل این Paper را خریداری نمایید.

با عضویت در سیویلیکا می توانید اصل مقالات را با حداقل ۳۳ درصد تخفیف (دو سوم قیمت خرید تک Paper) دریافت نمایید. برای عضویت در سیویلیکا به صفحه ثبت نام مراجعه نمایید.در صورتی که دارای نام کاربری در مجموعه سیویلیکا هستید، ابتدا از قسمت بالای صفحه با نام کاربری خود وارد شده و سپس به این صفحه مراجعه نمایید.

لطفا قبل از اقدام به خرید اینترنتی این Paper، ابتدا تعداد صفحات Paper را در بالای این صفحه کنترل نمایید.

برای راهنمایی کاملتر راهنمای سایت را مطالعه کنید.

خرید و دانلود فایل Paper

با استفاده از پرداخت اینترنتی بسیار سریع و ساده می توانید اصل این مقاله را که دارای 5 صفحه است در اختیار داشته باشید.

قیمت این مقاله : 3,000 تومان

آدرس ایمیل خود را در کادر زیر وارد نمایید:

مشخصات نویسندگان Paper The Equivalence Between Weighted top-down Tree Automata

Maryam Ghorani - Department of Applied Mathematics and Computer Sciences Shahrood University of Technology Shahrood, Iran

چکیده Paper:

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.

کلیدواژه ها:

Weighted top-down tree automata; Equivalence problem; Totally ordered lattice

کد Paper/لینک ثابت به این Paper

برای لینک دهی به این Paper می توانید از لینک زیر استفاده نمایید. این لینک همیشه ثابت است و به عنوان سند ثبت Paper در مرجع سیویلیکا مورد استفاده قرار میگیرد:

https://civilica.com/doc/749183/

کد COI Paper: ETECH03_018

نحوه استناد به Paper:

در صورتی که می خواهید در اثر پژوهشی خود به این Paper ارجاع دهید، به سادگی می توانید از عبارت زیر در بخش منابع و مراجع استفاده نمایید:
undefined, undefined,1396,The Equivalence Between Weighted top-down Tree Automata,سومین کنفرانس ملی تکنولوژی مهندسی برق و کامپیوتر,Tehran,,,https://civilica.com/doc/749183

در داخل متن نیز هر جا که به عبارت و یا دستاوردی از این Paper اشاره شود پس از ذکر مطلب، در داخل پارانتز، مشخصات زیر نوشته می شود.
برای بار اول: (1396, Ghorani, Maryam؛ )
برای بار دوم به بعد: (1396, Ghorani؛ )
برای آشنایی کامل با نحوه مرجع نویسی لطفا بخش راهنمای سیویلیکا (مرجع دهی) را ملاحظه نمایید.

Research Info Management

Certificate | Report Paper

Export Citation info of this Paper to research management softwares

علم سنجی و رتبه بندی Paper

مشخصات مرکز تولید کننده این Paper به صورت زیر است:
نوع مرکز: state university
تعداد مقالات: 7,087
در بخش علم سنجی پایگاه سیویلیکا می توانید رتبه بندی علمی مراکز دانشگاهی و پژوهشی کشور را بر اساس آمار مقالات نمایه شده مشاهده نمایید.

New RelatedPapers

Share this paper

WHAT IS COI?

COI is a national code dedicated to all Iranian Conference and Journal Papers. the COI of each paper can be verified online.

Support