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
מזהי עצם דיגיטלי (DOIs)
סטטוס פרסוםפורסם - יוני 1980

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'Vector addition systems and regular languages'. יחד הם יוצרים טביעת אצבע ייחודית.

פורמט ציטוט ביבליוגרפי