Domande su insiemi ricorsivi e r.e

Domande fatte negli ultimi 5 minuti di una lezione:
Presa [tex]f[/tex] : [tex]N[/tex] -> [tex]N[/tex] e l'insieme A : non vuoto, sottoinsieme di [tex]N[/tex] :
- se A ricorsivo allora(?) f^-1(A) = { n appartenente a [tex]N[/tex] | f(n) appartiene ad A} è ricorsivo?
- se A ricorsivo allora(?) f^-1(A) è r.e.?
- se A ricorsivo allora(?) f(A) è ricorsivo?
- se A ricorsivo allora(?) f(A) è r.e.?

Comments

  • MindFlyerMindFlyer Posts: 436
    Se non si fanno ipotesi su f, la risposta a ogni domanda è ovviamente "a volte sì, a volte no".
    Vogliamo per esempio che f sia calcolabile?
  • andreRondoandreRondo Posts: 25
    Si, mettiamo che f sia calcolabile.. cosa succederebbe?
  • MindFlyerMindFlyer Posts: 436
    Di solito su problemi di questo tipo preferisco non dare direttamente la risposta, perché sarebbe inutile. Prima scrivi una soluzione tua (o un approccio), e poi discutiamo su quello.
Sign In or Register to comment.