Vector addition systems and regular languages

A. Ginzburg, M. Yoeli

نتاج البحث: نشر في مجلةمقالةمراجعة النظراء

ملخص

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

بصمة

أدرس بدقة موضوعات البحث “Vector addition systems and regular languages'. فهما يشكلان معًا بصمة فريدة.

قم بذكر هذا