L'informatique

6

Je suis d' apprentissage automatisé théorème prouvons / solveurs SMT / assistants de preuve par moi - même et après une série de questions au sujet du processus, en commençant ici. Notez que ces sujets ne sont pas faciles à digérer sans connaissances en logique (mathématique). Si vous rencontrez des …

44 logic proof-assistants automated-theorem-proving coq

5

Différence entre la programmation parallèle et simultanée?

Lorsqu'on examine la programmation simultanée, deux termes sont couramment utilisés, à savoir simultané et parallèle. Et certains langages de programmation réclament spécifiquement le support de la programmation parallèle, tels que Java . Cela signifie-t-il que la programmation parallèle et la programmation simultanée sont réellement différentes?

44 terminology parallel-computing concurrency

1

Montrer que {xy | x | = | y |, x ≠ y} est sans contexte

Je me souviens d’avoir rencontré la question suivante au sujet d’une langue supposée être sans contexte, mais j’ai été incapable de trouver une preuve de ce fait. Est-ce que je me suis peut-être mal souvenu de la question? Quoi qu'il en soit, voici la question: Montrer que la langue est …

43 formal-languages context-free

2

Comment montrer qu'une fonction n'est pas calculable?

Je sais qu'il existe une machine de Turing, si une fonction est calculable. Ensuite, comment montrer que la fonction n’est pas calculable ou qu’il n’ya pas de machine de Turing pour cela. Y a-t-il quelque chose comme un lemme de pompage?

43 computability proof-techniques undecidability reference-question

6

Faire face à l'intracabilité: problèmes NP-complets

Supposons que je suis un programmeur et que j'ai un problème NP-complet dont j'ai besoin pour le résoudre. Quelles méthodes sont disponibles pour traiter les problèmes des PNJ? Existe-t-il une enquête ou quelque chose de similaire sur ce sujet?

43 algorithms reference-request np-complete efficiency reference-question

1

Qu'est-ce qui rend la déduction de type pour les types dépendants indécidable?

J'ai vu qu'il était mentionné que les systèmes de types dépendants ne sont pas inférables, mais sont vérifiables. Je me demandais s'il existait une explication simple de la raison pour laquelle il en était ainsi et s'il existait ou non une limite de "dépendance" dans laquelle les types peuvent être …

42 undecidability type-theory type-inference dependent-types

9

Pourquoi certains langages de programmation sont-ils complets mais manquent-ils de capacités d'autres langages?

J'ai rencontré un problème étrange lors de l'écriture d'un interpréteur qui (devrait) être raccordé à des programmes / fonctions externes: les fonctions en 'C' et 'C ++' ne peuvent pas accrocher les fonctions variadiques , par exemple, je ne peux pas créer de fonction qui appelle 'printf' avec exactement les …

42 computability programming-languages turing-completeness

5

L'itération peut remplacer la récursivité?

J'ai vu partout débordement de pile, par exemple ici , ici , ici , ici , ici et quelques autres que je me fiche de mentionner, que "tout programme qui utilise la récursion peut être converti en un programme utilisant uniquement l'itération". Il y avait même un fil de discussion …

42 computability recursion iteration

11

Pourquoi quelqu'un voudrait-il de l'ICCA?

Dans notre exposé sur les systèmes informatiques, nous avons découvert le processeur MIPS. Il a été (re) développé au cours du mandat et a été en fait assez facile à comprendre. Il utilise une conception RISC , c’est-à-dire que ses commandes élémentaires sont régulièrement codées et qu’elles sont peu nombreuses …

42 computer-architecture

1

Imaginez un arbre rouge-noir. Y a-t-il toujours une séquence d'insertions et de suppressions qui la crée?

Supposons la définition suivante d'un arbre rouge-noir: C'est un arbre de recherche binaire. Chaque nœud est coloré en rouge ou en noir. La racine est noire. Deux nœuds reliés par une arête ne peuvent pas être rouges en même temps. Ici devrait être une bonne définition d'une feuille NIL, comme …

41 data-structures search-trees balanced-search-trees

1

Un automate à deux piles est-il équivalent à une machine de turing?

Dans cette réponse, il est mentionné Un langage régulier peut être reconnu par un automate fini. Un langage sans contexte nécessite une pile et un langage sensible au contexte nécessite deux piles (ce qui revient à dire qu'il nécessite une machine Turing complète) . Je voulais savoir en ce qui …

41 computability turing-machines automata pushdown-automata

3

Contraster les algorithmes de Peterson et de Dekker

J'essaie de comprendre les algorithmes de Peterson et Dekker qui sont très similaires et présentent beaucoup de symétries. J'ai essayé de formuler les algorithmes en langage informel comme suit: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and while(flag[1]==true&&turn==1){ it's your turn …

41 concurrency synchronization mutual-exclusion

2

Structures de données efficaces pour la construction d'un correcteur orthographique rapide

J'essaie d'écrire un correcteur orthographique qui devrait fonctionner avec un dictionnaire assez volumineux. Je souhaite vraiment un moyen efficace d'indexer les données de mon dictionnaire en utilisant une distance de Damerau-Levenshtein pour déterminer les mots les plus proches du mot mal orthographié. Je recherche une structure de données qui me …

41 data-structures strings string-metrics

4

Quel est le nom de la classe de fonctions décrite par O (n log n)?

Dans "Big O", les notations communes ont des noms communs (au lieu de dire "Oh comme facteur constant"): O (1) est "constante" O (log n) est "logarithmique" O (n) est "linéaire" O (n ^ 2) est "quadratique" O (n * log n) est ??? Est-ce juste "n log n" ou …

40 terminology asymptotics

1

Quelle est la différence entre un algorithme, une langue et un problème?

Il semble que sur ce site, les gens corrigent souvent les autres pour avoir confondu "algorithmes" et "problèmes". Quelle est la différence entre ceux-ci? Comment savoir quand je devrais envisager des algorithmes et des problèmes? Et quel est leur lien avec le concept de langage dans la théorie des langages …

40 algorithms complexity-theory formal-languages terminology reference-question