- Home
Documents
- phd-slidesdecc.javerianacali.edu.co/wiki/lib/exe/fetch.php?media=...(PCP) (Buchi Autom.) ntcc[Rec,...
34
phd-slidesdecc.javerianacali.edu.co/wiki/lib/exe/fetch.php?media=...(PCP) (Buchi Autom.) ntcc[Rec, Ident. Par.] UNDECIDABLE DECIDABLE ntcc[Rec,No Par, Static Scope] ntcc[Replication]
-
Upload
others
-
View
4
-
Download
0
Embed Size (px)
Citation preview
-
(PCP)
(Buchi Autom.)ntcc[Rec, Ident. Par.]
UNDECIDABLE
DECIDABLEntcc[Rec,No Par, Static Scope]
ntcc[Replication]
ntcc[Rec, No Par., Dyn. Scope]ntcc[Rec]
