תקציר
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 |