• [^] # Re: Machine de Turing

    Posté par (site web personnel) . En réponse à la dépêche Le Frido 2018, livre libre de mathématique pour l’agrégation. Évalué à 4.

    Donc, si je comprends bien, tu voudrais mettre les définitions/propriétés liées aux langages à la fin de ce fichier. C'est bien ça ? Et pour les machines de Turing, à la suite ?

    Le mieux serait de créer un chapitre pour cela :

    • ajouter un \chapter là où il faut dans mazhe.tex
    • Ajouter \input{monfichier} en-dessous. Ici, monfichier doit commencer par un nombre à aller chercher dans le fichier réserve.tex.

    Sinon, ajouter au bout du fichier 42, ça doit être bon pour commencer.

    D'autre part, dans mazhe.pdf, je n'ai pas trouvé la définition d'un monoïde (il y a juste le lemme 6.19 qui parle de sous-monoïde et quelques autres trucs mais jamais de définition formelle). Or, l'ensemble des mots sur un vocabulaire muni du produit (concaténation) forme un monoïde (non-commutatif).

    Une définition manquante de plus. Bien vu. On va ajouter ça. En général, les différentes structures algébriques sont définies dans le fichier "42" sur la construction des ensembles de nombres parce qu'on a besoin de ces structures pour les définir; par exemple Q est le corps des fractions de Z. Et pour R, on utilise à fond la structure de corps sur Q.

    Enfin, en parcourant ton site, je m'aperçois qu'on travaille à 300m l'un de l'autre, ça vaudrait sans doute le coup qu'on se voit IRL pour discuter de tout ça ;)

    Un petit TieBreak ?