کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951143 1441193 2017 26 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Boolean language operations on nondeterministic automata with a pushdown of constant height
ترجمه فارسی عنوان
عملیات زبان بولین در اتوماتای ​​غیرمتمرکز با کاهش ارتفاع ثابت
کلمات کلیدی
پیچیدگی توصیفی خودکار اتوماتیک دولتی، زبان های منظم، اتوماتای ​​فرسوده غیرمتمرکز،
ترجمه چکیده
ما هزینه هزینه های عملیات بولین را در ماشین های اتوماتیک رانندگی غیرمتمرکز ارتفاع ثابت، یعنی اتوماتای ​​خاموش معمولی با محدودیت اندازه فشار، مطالعه می کنیم. برای تقاطع، ما یک شبیه سازی نمایی را نشان می دهیم و ثابت می کنیم که انفجار نمایشگر در بدترین حالت ضروری است. برای اتحاد، به جای آن، ما یک خطای خطی را ارائه می دهیم در حالی که برای تکمیل، یک شبیه سازی دو بعدی را نشان می دهیم و یک معیار پایین را نمایش می دهیم. شکاف های مشابه برای عملیات بولی با زبان های منظم برای دستگاه های سنتی غیرمتمرکز نشان داده شده است.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We study the cost of Boolean operations on constant height nondeterministic pushdown automata, i.e., on the ordinary pushdown automata with a limit on the size of the pushdown. For intersection, we show an exponential simulation and prove that the exponential blow-up is necessary in the worst case. For union, instead, we provide a linear trade-off while, for complement, we show a double exponential simulation and prove a single exponential lower bound. The same gaps for Boolean operations with regular languages have been shown for traditional nondeterministic automata with unrestricted pushdown.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Computer and System Sciences - Volume 90, December 2017, Pages 99-114
نویسندگان
, , , ,