J'apprends actuellement le calcul lambda et je me posais des questions sur les deux différents types d'écriture d'un terme lambda. λxy.xyλxy.xy\lambda xy.xy λx.λy.xyλx.λy.xy\lambda x.\lambda y.xy Y a-t-il une différence de sens ou de manière d'appliquer la réduction bêta, ou s'agit-il simplement de deux façons d'exprimer la même chose? Surtout cette …
L'algorithme simplex parcourt goulûment les coins d'un polytope pour trouver la solution optimale au problème de programmation linéaire. En conséquence, la réponse est toujours un coin du polytope. Les méthodes de point intérieur parcourent l'intérieur du polytope. Par conséquent, lorsqu'un plan entier du polytope est optimal (si la fonction objectif …
J'ai la langue suivante { 0je1j2k∣ 0 ≤ i ≤ j ≤ k }{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} J'essaie de déterminer dans quelle classe de langue Chomsky il s'intègre. Je peux voir comment cela pourrait être fait en utilisant une grammaire contextuelle, donc …
J'ai un devoir à faire contre lequel je me bats la tête depuis un certain temps, et j'apprécierais tout indice. Il s'agit de choisir un problème connu, dont l'exhaustivité NP est prouvée, et de construire une réduction de ce problème au problème suivant que j'appellerai DGD (diagnostic de graphe dirigé). …
Cela pourrait être à la limite de la science cognitive computationnelle, mais je suis curieux de savoir comment le processus suivi par les algorithmes de recherche de chemin commun (tels que A * ) se compare au processus que les humains utilisent dans différentes situations de recherche de chemin (avec …
Système de réécriture est un ensemble de règles sous la forme de . Si nous appliquons cette règle à une chaîne w, nous remplaçons toute sous-chaîne A dans w par une sous-chaîne B et vice versa.A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB Étant donné une chaîne de départ nous pouvons dériver B A A …
Comment peut-on décider si a une séquence de chiffres? ππ\pim'a inspiré pour demander si la variation d'apparence innocente suivante est calculable: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the decimal representation …
Disons que nous avons 10 personnes, chacune avec une liste de livres préférés. Pour une personne donnée X, je voudrais trouver un sous-ensemble spécial de livres de X aimé seulement par X, c'est-à-dire qu'il n'y a aucune autre personne qui aime tous les livres du sous-ensemble spécial de X. Je …
Soit L1L1L_1 , L2L2L_2 , L3L3L_3 , ……\dots une suite infinie de langages sans contexte, chacun étant défini sur un alphabet commun . Soit l'union infinie de , , , ; c'est-à-dire, .ΣΣΣLLLL1L1L_1L2L2L_2L3L3L_3……\dots L=L1∪L2∪L3∪…L=L1∪L2∪L3∪…L = L_1 \cup L_2 \cup L_3 \cup \dots Est-il toujours vrai que est un langage sans …
Un distributeur de boissons oblige l'utilisateur à insérer une pièce de monnaie ( ), puis appuyez sur l'un des trois boutons: ˉ d tea demande une tasse de thé e tea , idem pour le café, et ˉ r demande un remboursement (c'est-à-dire que la machine rend le pièce: ˉ …
J'ai observé qu'il existe deux types différents d'états dans la prédiction de branche. En exécution superscalaire, où la prédiction de branchement est très importante et se situe principalement dans le délai d'exécution plutôt que dans le délai de récupération. Dans le pipeline d'instructions, où l'extraction est plus problématique car les …
Prenons un système de fichiers ciblé sur certains périphériques intégrés qui ne fait guère plus que de stocker des fichiers dans une structure de répertoires hiérarchique. Ce système de fichiers manque de nombreuses opérations auxquelles vous pouvez être habitué dans des systèmes tels qu'Unix et Windows (par exemple, ses autorisations …
J'ai besoin d'une définition concise de "l'état d'un objet" dans la programmation orientée objet (pour un article). Pendant environ une demi-journée, j'ai cherché un article que je peux citer sur ce sujet, mais je n'en ai pas trouvé un. Tous les articles que j'ai trouvés étaient principalement des articles généraux …
Est-il théoriquement possible de spécifier un langage de programmation pour lequel aucune implémentation ne pourrait exister? Un langage de programmation est un moyen de définir des fonctions. Une implémentation signifie une méthode pour exécuter un programme donné dans ce langage sur une entrée donnée à la sortie de la fonction …
Considérant ce pseudo-code d'une bulle: FOR i := 0 TO arraylength(list) STEP 1 switched := false FOR j := 0 TO arraylength(list)-(i+1) STEP 1 IF list[j] > list[j + 1] THEN switch(list,j,j+1) switched := true ENDIF NEXT IF switched = false THEN break ENDIF NEXT Quelles seraient les idées de …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.