https://ocw.cs.pub.ro/ppcarte/ 2026-05-03T12:57:08+03:00 https://ocw.cs.pub.ro/ppcarte/ https://ocw.cs.pub.ro/ppcarte/lib/tpl/bootstrap3/images/favicon.ico text/html 2021-01-28T11:41:31+03:00 https://ocw.cs.pub.ro/ppcarte/doku.php?id=aa:exam:29ian:asdf&rev=1611826891&do=diff Examen optional Intrebarea 1: * Probleme si Masini Turing * Clase de probleme 1.1. Fie $ M_1$ si $ M_2$ doua Masini Turing care accepta Halting Problem ($ f_h$ ). Care afirmatie este adevarata? * exista un cuvant $ w$ pentru care $ M_1$ sau $ M_2$ cicleaza * daca $ M_1$ cicleaza pt un cuvant $ w$$ M_2$$ w$$ f_h \in R$$ M_1$$ M_2$$ M$$ F = \{f \in \mathbb{H}om(\Sigma^*,\{0,1\}) \mid M \text{ accepta } f\}$$ F \subseteq R$$ F \cap RE = \emptyset$$ F$$ F$$ \Sigma^*, \mathcal{M} = …