1La chaleur
1Répondre
Soit A, B, C être fad. Considérons l'équation X = AX + BX + C. Une solution X doit-elle être fade?
1La chaleur
1Répondre
Comment construire des machines de turing pour des langages spécifiques?
1La chaleur
1Répondre
spécification Zed: Promotion et appliquer une opération plus d'un schéma
1La chaleur
1Répondre
Est-ce que la différence de 2 contextes sans contexte est libre?
-3La chaleur
1Répondre
Pouvez-vous m'aider à comprendre cette réponse?
-1La chaleur
2Répondre
0La chaleur
1Répondre
Passer d'une langue à une grammaire sans contexte
0La chaleur
2Répondre
Commander en alliage en utilisant util/commande
2La chaleur
1Répondre
Existe-t-il un moyen de savoir ce qui cause 'No Instance Found' dans run dans Alloy?
3La chaleur
1Répondre
Pourquoi Coq ne peut-il pas comprendre la symétrie de l'égalité par lui-même?