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

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

V originále

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.