Questions sur la simulation d'un modèle dans un autre. Cela inclut la simulation de la réalité dans n'importe quel modèle ou la simulation d'un modèle de machine avec des machines de Turing.
Je cherche des explications sur la façon dont on pourrait prouver que deux modèles de calcul sont équivalents. J'ai lu des livres sur le sujet, sauf que les preuves d'équivalence sont omises. J'ai une idée de base sur ce que cela signifie pour deux modèles de calcul d'être équivalents (la vue des...
Selon cet article de Wikipedia , les grammaires illimitées sont équivalentes aux machines de Turing. L'article note que je peux convertir n'importe quelle machine Turing en une grammaire illimitée, mais il montre uniquement comment convertir une grammaire en machine Turing. Comment puis-je vraiment...
Soit une fonction fixe constructible dans le temps.FFf Le résultat de simulation universelle classique pour les MT (Hennie et Stearns, 1966) indique qu'il existe un TM deux bandes tel que, étant donnéUUU la description d'un TM , et⟨ M⟩⟨M⟩\langle M \rangle une chaîne d'entrée ,XXx s'exécute pour les...
Plus à cette question sur le comptage d'inversion , j'ai trouvé un article qui prouve une limite inférieure sur la complexité de l'espace pour tous les algorithmes de streaming (exacts) . J'ai affirmé que cette limite s'étend à tous les algorithmes de temps linéaire. C'est un peu audacieux car en...
L'objectif est de créer DFA à partir d'une expression régulière et l'utilisation de "Exp régulière> NFA> Conversion DFA" n'est pas une option. Comment faut-il s'y prendre? J'ai posé cette question à notre professeur mais il m'a dit que nous pouvions utiliser l'intuition et a gentiment refusé...
Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then...
Existe-t-il un automate cellulaire (en 2D) qui simule une force entre particules?1 / r1/r1/r Plus précisément, je voudrais savoir s'il est possible, avec des règles de mise à jour strictement locales, que deux objets (définis dans le modèle) s'attirent avec une force , où r est la distance séparant...
Je lis Sipser et j'ai du mal à comprendre quel est le processus de sorte que si vous me donnez des machines k Turing avec k bandes, je peux cracher une machine Turing équivalente avec une seule bande. Un exemple serait bien. En fait, un exemple élaboré qui montre comment passer d'une MT qui a...
La question est l'exercice 1.9 du livre d'Arora-Barak Computational Complexity - A Modern Approach : Définissez une machine RAM Turing comme une machine Turing disposant d'une mémoire à accès aléatoire. Nous formalisons ceci comme suit: La machine a un tableau infini A qui est initialisé à tous les...
J'essaie de trouver les réponses à deux questions sur la machine Universal Turing. Comment la machine Universal Turing peut-elle simuler une machine Turing si celle qui est simulée a un plus grand nombre d'états? Comment la machine Universal Turing peut-elle simuler une machine Turing si celle qui...
Une machine de Turing autorisée à lire et à écrire des symboles d'un alphabet infini est-elle plus puissante qu'une MT régulière (c'est la seule différence, la machine a toujours un nombre fini d'états)? L'intuition me dit que non, car il faut un nombre infini d'états pour différencier chaque...
Existe-t-il un ensemble de règles ou de méthodes pour convertir une grammaire sans contexte en automates push down? J'ai déjà trouvé des diapositives en ligne mais je n'ai pas pu les comprendre. Dans la diapositive 10, il parle de certaines règles. Quelqu'un pourrait-il expliquer...
On sait que les logiques temporelles LTL, CTL, CTL * peuvent être traduites / intégrées dans le μμ\mu-calcul. En d'autres termes, le (modal)μμ\mu-calculus subsume ces logiques, (c'est-à-dire qu'il est plus expressif.) Pourriez-vous s'il vous plaît m'expliquer / pointer vers des articles / livres...
J'ai un petit problème pour comprendre la preuve du théorème de la hiérarchie temporelle (Hennie et Stearns, 1966) qui garantit l'existence d'un langage acceptable en mais non acceptable en pour toutes les fonctions , tel que est constructible dans le temps etU( n )U(n)U(n)T(n )T(n)T(n)T( n) , U( n...
Quand je lis à propos de la thèse de Church-Turing, il semble être une affirmation courante que «la réalité physique est calculable par Turing». Quelle est la base de cette réclamation? Y a-t-il des résultats théoriques dans ce sens? Pour le contexte, je suis un chercheur qui travaille sur des...