phd-slidesdecc.javerianacali.edu.co/wiki/lib/exe/fetch.php?media=...(pcp) (buchi autom.) ntcc[rec,...
- Home
- Documents
- 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]
34
Upload: others
Post on 04-Feb-2021
5 views
TRANSCRIPT
-
(PCP)
(Buchi Autom.)ntcc[Rec, Ident. Par.]
UNDECIDABLE
DECIDABLEntcc[Rec,No Par, Static Scope]
ntcc[Replication]
ntcc[Rec, No Par., Dyn. Scope]ntcc[Rec]