Calculabilité et complexité

Bonjour,


j'ai quelques questions concernant la calculabilité et complexité, j'ai du mal a répondre:
1-Que signifie être indécidable pour un problème donné?(donnez un exemple)
2-pourquoi considérer des machines de turing avec un alphabet {0,1,#} ne nuit pas à la généralité des résultat?
3-Soit A et B, que signifie réduire A à B?
4-Etant donné un problème, que signifie être complet pour une classe de complexité donnée?
Je sais que c'est bizarre comme demande :P
Merci :)