Une grammaire sans contexte peut-elle inclure des "états morts" d'un automate, tels que G = ( {a,b,c},{A,B,C} , { A → a B , B → b , B → C, C→ c C} , A )?g=({une,b,c},{UNE,B,C},{UNE→uneB,B→b,B→C,C→cC},UNE)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? Les règles...
Nous avons la logique Hoare. Pourquoi est-il toujours possible qu'un algorithme soit correct mais il n'y a aucune preuve qu'il est correct? Supposons que l'algorithme soit exprimé en C. Ensuite, nous pouvons affirmer étape par étape qu'il fait ce qu'il est censé faire. Ma question est donc:...
Après la sortie de la bibliothèque AIGER pour gérer les graphiques et les onduleurs en 2006 (je pense), certains solveurs SAT de circuits ont été publiés en 2006-2008, et dans quelques courses / compétitions SAT, il y avait des pistes AIG. Cependant, depuis lors, il semble que l'accent ait été...
Je suis nouveau dans la théorie des langages de programmation. Je regardais des conférences en ligne dans lesquelles l'instructeur a affirmé qu'une fonction de type polymorphe forall t: Type, t->tétait l'identité, mais n'a pas expliqué pourquoi. Quelqu'un peut-il m'expliquer pourquoi? Peut-être...
Une machine de Turing sans capacité d'écriture sur des cellules vierges est-elle moins puissante que la Turing standard? Je pense que la réponse est oui mais je ne suis pas en mesure de trouver un calcul qu'une machine standard de Turing peut faire mais cette machine ne le peut pas. Des...
Existe-t-il une fonction calculable telle que:F: N → QF:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} Pour toutt ∈ N : 0 ≤ f( t ) < Xt∈N:0≤F(t)<Xt\in\mathbb{N}: 0\le f(t) < X limt → ∞F( t ) = Xlimt→∞F(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X Où XXX est un nombre réel non calculable. La seule...
S'il existe un algorithme fonctionnant dans le temps O ( f( n ) )O(f(n))O(f(n)) pour un problème A, et que quelqu'un propose un algorithme fonctionnant dans le temps, O ( f( n ) / g( n ) )O(f(n)/g(n))O(f(n)/g(n)) , où g( n ) = o ( f( n ) )g(n)=o(f(n))g(n) = o(f(n)) , est-il considéré comme une...
Je veux savoir si le problème suivant est décidable et comment le découvrir. Chaque problème que je vois, je peux lui dire «oui» ou «non», donc la plupart des problèmes et des algorithmes sont-ils décidables sauf quelques-uns (qui sont fournis ici )? Entrée: Un graphe orienté et fini , avec et...
J'ai entendu dire que l' interaction avec la devise était plus puissante que les algorithmes de Peter Wegner . L'idée de base est qu'une machine de Turing (classique) ne peut pas gérer l'interaction, c'est-à-dire la communication (entrée / sortie) avec le monde / l'environnement extérieur. Comment...
J'apprends moi-même la vérification automatisée de théorèmes / les solveurs SMT / assistants de vérification et je poste une série de questions sur le processus, en commençant ici . Je continue de lire sur l' algorithme d'unification . Qu'est-ce que c'est et pourquoi est-il si important pour les...
Selon Wikipedia , pour tout langage régulier LLL il existe des constantes λ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_k et des polynômes p1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x) tels que pour tout nnn le nombre sL(n)sL(n)s_L(n) de mots de longueur nnn dans LLL satisfait l'équation...
Quelles opérations doivent être effectuées pour effectuer un calcul analogique arbitraire ? L'addition, la soustraction, la multiplication et la division seraient-elles suffisantes? De plus, quelqu'un sait-il exactement quels problèmes peuvent être traités avec le calcul analogique, mais pas avec...
J'ai du mal à comprendre la relation entre NP-intermédiaire et NP-complet. Je sais que si P! = NP basé sur le théorème de Ladner, il existe une classe de langages en NP mais pas en P ni en NP-Complete. Chaque problème dans NP peut être réduit à un problème NP-Complete, mais je n'ai vu aucun exemple...
Je pensais que le tableau associatif (c'est-à-dire la carte ou le dictionnaire) et la table de hachage étaient le même concept, jusqu'à ce que je voie sur Wikipedia que Pour les dictionnaires avec un très petit nombre de liaisons, il peut être judicieux d'implémenter le dictionnaire à l'aide d'une...
Quelles sont les différences entre la vision par ordinateur et le traitement d'image? Par exemple, dans la reconnaissance d'objets, quels sont les rôles de la vision par ordinateur et du traitement
Existe-t-il une technique générale pour prouver qu'un problème n'est PAS NP-Complete? J'ai reçu cette question à l'examen qui m'a demandé de montrer si un problème (voir ci-dessous) est NP-Complete. Je ne pouvais pas penser à une vraie solution, et je viens de prouver que c'était en P. Évidemment,...
Existe-t-il une machine de Turing qui s'arrête sur toutes les entrées mais cette propriété n'est pas prouvable pour une raison quelconque? Je me demande si cette question a été étudiée. Remarque: «non démontrable» pourrait signifier un système de preuve «limité» (qui au sens faible pense que la...
Quelqu'un a-t-il déjà écrit un système (logiciel ou explication détaillée sur papier avec des exemples simples) qui génère des programmes informatiques? J'entre et il crée un programme qui répertorie les nombres premiers inférieurs à 10. P r i m e ( x ) est simplement défini comme 1 < x ∧ ∄ APr...
J'ai étudié le livre "C ++ Demystified" . Maintenant, j'ai commencé à lire "Programmation orientée objet dans Turbo C ++ première édition (1ère édition)" par Robert Lafore. Je n'ai aucune connaissance en programmation qui dépasse ces livres. Ce livre est peut-être dépassé car il a 20 ans. J'ai la...
Je lis le livre HoTT et j'ai du mal avec l'induction de chemin. Quand je regarde le type dans la section 1.12.1 : je n'ai aucun problème à comprendre ce que cela signifie (je viens d'écrire le type de la mémoire, pour vérifier