2La chaleur
2Répondre
Comment puis-je identifier par programme des expressions rationnelles malveillantes?
3La chaleur
1Répondre
Montrer qu'il est indécidable qu'un LBA déterministe accepte un nombre infini d'entrées
0La chaleur
1Répondre
0La chaleur
1Répondre
Un automate fini n'accepte pas de chaîne
-1La chaleur
1Répondre
automate cellulaire en C++ avec classe et objet