L'informatique

14
Réduction directe de à

Nous savons que la est dans par le théorème du théorème d' Immerman-Szelepcsényi et puisque la est par conséquent, la est un espace de journalisation multiple réductible à la . Mais y a-t-il une réduction directe / combinatoire qui ne passe pas par le graphe de configuration des machines de Turing...

14
Raison d'apprendre la logique propositionnelle et prédicat

Je peux comprendre l'importance que les informaticiens ou tout ingénieur spécialisé dans le développement de logiciels aient compris comme base d'étude de la logique de base. Mais y a-t-il des tâches / emplois qui nécessitent explicitement la connaissance de ceux-ci, autres que les tâches qui...

14
Quand

Selon l'article de Wikipedia , le L dans signifie "balayage de gauche à droite" et le "R" signifie "dérivation la plus à droite". Cependant, dans l'article original de Knuth sur les grammaires L R ( k ) , il définit L R ( k ) (à la page 610) comme un langage "traduisible de gauche à droite avec k...

14
Pour une machine de Turing , comment l'ensemble des machines qui sont «plus courtes» que et qui acceptent le même langage est-il décidable?

Je me demande comment ça se fait que la langue suivante est dans .RR\mathrm R LM1= { ⟨ M2⟩∣∣M2 est un TM, et  L ( M1) = L ( M2) ,  Et  | ⟨ M1⟩ | > | ⟨ M2⟩ | }LM1={⟨M2⟩|M2 est une MT, et L(M1)=L(M2), et |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and }...