کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10332778 | 687777 | 2014 | 24 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Bisimulation equivalence and regularity for real-time one-counter automata
ترجمه فارسی عنوان
همسان سازی و هماهنگی دوبعدی برای اتوماتای یکبار در زمان واقعی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
ماشین مجازی، همسان سازی دوگانه، همسان سازی زبان، منظم بودن
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
A one-counter automaton is a pushdown automaton with a singleton stack alphabet, where stack emptiness can be tested; it is a real-time automaton if it contains no ε-transitions. We study the computational complexity of the problems of equivalence and regularity (i.e. semantic finiteness) on real-time one-counter automata. The first main result shows PSPACE-completeness of bisimulation equivalence; this closes the complexity gap between decidability [23] and PSPACE-hardness [25]. The second main result shows NL-completeness of language equivalence of deterministic real-time one-counter automata; this improves the known PSPACE upper bound (indirectly shown by Valiant and Paterson [27]). Finally we prove P-completeness of the problem if a given one-counter automaton is bisimulation equivalent to a finite system, and NL-completeness of the problem if the language accepted by a given deterministic real-time one-counter automaton is regular.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Computer and System Sciences - Volume 80, Issue 4, June 2014, Pages 720-743
Journal: Journal of Computer and System Sciences - Volume 80, Issue 4, June 2014, Pages 720-743
نویسندگان
Stanislav Böhm, Stefan Göller, Petr JanÄar,