Constrained Rewrite Transition Systems

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Přepisovací systémy s omezeními
Autoři	STREJČEK Jan
Rok publikování	2000
Druh	Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	Rozšířujeme přepisovací systémy o mechanismus pro práci s částečnou informací v analogické podobě jako v Concurrent Constraint Programming (CCP). Rozšíření změní vyjadřovací sílu tříd přechodových systémů BPA a BPP a vzniknou tak dvě nové třídy přechodových systémů (fcBPA a fcBPP). Rozšíření nezmění vyjadřovací sílu ostatních uvažovaných tříd (FSA, PDA, PPDA, a PN). Nově vzniklé třídy jsou zařazeny do hierarchie standardních tříd přechodových systémů navržené Mollerem [Mol96].
Související projekty:	Nekonečně stavové souběžné systémy - modely a verifikace Algoritmy a nástroje pro praktickou verifikaci souběžných systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů