L'informatique

9
Décidabilité de la langue du préfixe

À mi-parcours, il y avait une variante de la question suivante: Pour un décidable, définissez Montrez que n'est pas nécessairement décidable.Pref ( L ) = { x ∣ ∃ y  st  x y ∈ L } Pref ( L )LLLPref(L)={x∣∃y s.t. xy∈L}Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ s.t. } xy \in...

9
Explication de la branche et de la limite

J'ai un test sur la branche et l' algorithme lié . Je comprends théoriquement le fonctionnement de cet algorithme mais je n'ai pas trouvé d'exemples qui illustrent comment cet algorithme peut être implémenté pratiquement. J'ai trouvé quelques exemples comme celui-ci mais je suis toujours confus à...

9
Limites inférieures du calcul d'une fonction d'un ensemble

Ayant un ensemble de n éléments, disons que je veux calculer une fonction f ( A ) qui est sensible à toutes les parties de l'entrée, c'est-à-dire qui dépend de chaque membre de A (c'est-à-dire qu'il est possible de changer n'importe quel membre de A en quelque chose sinon pour obtenir une nouvelle...

9
Diagramme en T du compilateur croisé

J'étudie Bootstrapping de Red Dragon Book Compilers et j'ai trouvé le diagramme en T pour le compilateur croisé assez déroutant. Je ne peux pas comprendre ce que l'on entend par «exécuter compilateur1 à compilateur2». Quelqu'un peut-il fournir une meilleure explication, une analogie ou un exemple...