Informační systém Masarykovy univerzity 

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

česky | in English

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 Informatika
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: 13. 12. 2017 18:00

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 13. 12. 2017 18:00, 50. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému