[6 luglio 2023] Calcolabilità #14
matypist
started this conversation in
Calcolabilità
Replies: 1 comment 1 reply
-
|
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.
1 reply
-
|
Per il secondo punto propongo la soluzione presente sugli appunti di CasuFrost |
Beta Was this translation helpful? Give feedback.
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