Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper)

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.

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

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.