کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
426444 | 686077 | 2015 | 11 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Reachability in two-clock timed automata is PSPACE-complete
ترجمه فارسی عنوان
قابلیت دسترسی در اتوماتای زمانبندی شده دو ساعته PSPACE کامل است
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
اتوماتای زمانبندی شده؛ اتوماتیک شمارنده؛ PSPACE کامل
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Recently, Haase, Ouaknine, and Worrell have shown that reachability in two-clock timed automata is log-space equivalent to reachability in bounded one-counter automata. We show that reachability in bounded one-counter automata is PSPACE-complete.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 243, August 2015, Pages 26–36
Journal: Information and Computation - Volume 243, August 2015, Pages 26–36
نویسندگان
John Fearnley, Marcin Jurdziński,