Telecharger Cours

Calculabilité & Complexité Algorithmique - Nicolas Bedon

Si ça l'était, en prenant G2 tq L(G2)=?*, on aurait L(G1)=?* décidable. ? L(G. 1. )=R. Si ça l'était, en prenant R tq L(R)=?*, on aurait L(G1)=?* décidable. ? L ...



Download