ملخص
Necessary and sufficient conditions are established for Vector Addition Systems to define regular languages. An algorithm is designed to decide whether these conditions are satisfied. The reachability problem for such Vector Addition Systems is shown to be decidable.
اللغة الأصلية | الإنجليزيّة |
---|---|
الصفحات (من إلى) | 277-284 |
عدد الصفحات | 8 |
دورية | Journal of Computer and System Sciences |
مستوى الصوت | 20 |
رقم الإصدار | 3 |
المعرِّفات الرقمية للأشياء | |
حالة النشر | نُشِر - يونيو 1980 |