KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper). Brno: FI MU, 2003. 23 s. FIMU-RS-2003-05.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper)
Autoři KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK.
Vydání Brno, 23 s. FIMU-RS-2003-05, 2003.
Nakladatel FI MU
Další údaje
Originální jazyk angličtina
Typ výsledku Výzkumná zpráva
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky process rewrite systems; state extension; infinite-state
Štítky infinite-state, process rewrite systems, state extension
Změnil Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 24. 5. 2006 15:51.
Anotace
Various classes of infinite-state processes are often specified by rewrite systems. We extend Mayr's Process Rewrite Systems (PRS) by finite-state unit whose transition function satisfies some restrictions inspired by weak finite automata. We classify these models by their expressiveness and show how the hierarchy of new classes (w.r.t. bisimilarity) is related to both PRS hierarchy of Mayr and two other hierarchies of PRS extensions.
VytisknoutZobrazeno: 23. 9. 2020 19:28