[6 luglio 2023] Calcolabilità #14
matypist
started this conversation in
Calcolabilità
Replies: 1 comment
-
|
Ho preferito dimostrare direttamente che il linguaggio sia irriconoscibile (che ovviamente implica che sia indecidibile)
La dimostrazione richiesta nel secondo punto è presente sul libro di testo |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Beta Was this translation helpful? Give feedback.
All reactions