Informace o publikaci
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
| Název česky | O rozšířených procesových přepisovacích systémech: Přepisovací systémy se slabou konečně stavovou jednotkou |
|---|---|
| Autoři | |
| Rok publikování | 2004 |
| Druh | Článek ve sborníku |
| Konference | INFINITY'2003: 5th International Workshop on Verification of Infinite-State Systems |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://dx.doi.org/10.1016/j.entcs.2003.10.008 |
| Obor | Informatika |
| Klíčová slova | process rewrite systems; state extension; infinite-state; decidability; reachability |
| Popis | Rozšiřujeme Mayrovy přepisovací systémy o konečně stavovou jednotku, jejíž přechodová funkce podléhá restrikcím inspirovaným teorií slabých konečných automatů. Klasifikujeme třídy podle jejich výjadřovací síly vzhledem k silné bisimulaci a dokazujeme vztahy mezi nimi navzájem, vzhledem k dříve definovaným rozšířením i k třídám nerozšířených procesových přepisovacích systémů. |
| Související projekty: |