Chargement...
Chargement...
Auteur

Support

Série

Disponibilité

1

Transductions rationnelles : application aux langages algébriques

Éditeur(s): Elsevier Masson
Prolongement vers le 3e cycle et la recherche de l'ouvrage du même auteur sur le thème des langages algébriques. ©Electre 2024
42,50 €
Chargement...

Calculabilité et décidabilité : une introduction

Éditeur(s): Elsevier Masson
Présente plusieurs modèles de calcul parmi les plus répandus (machines RAM, machines de Turing, fonctions récursives) et montre leur équivalence comme argument de la thèse de Church. Conçu comme un manuel de cours, l'exposé est suivi d'exercices. ©Electre 2024
22,00 €
Chargement...
1