L'informatique

1

Peut-il y avoir un lemme de pompage contextuel?

Une propriété de «pompage» (des mots d'une certaine longueur impliquent l'existence de boucles dans le mécanisme de définition de la langue) est connue pour exister pour les langues régulières et sans contexte et quelques autres (généralement utilisées pour réfuter l'appartenance d'une langue à une certaine classe). ). Dans la discussion …

8 formal-languages pumping-lemma context-sensitive

1

Analyse du flux de données avec exceptions

L'analyse du flux de données fonctionne sur un graphique de flux de contrôle. Lorsqu'un langage considéré prend en charge les exceptions, le graphique du flux de contrôle peut exploser. Quelles sont les techniques standard pour faire face à cette explosion? Pouvons-nous ignorer les bords induits par exception? Les analyses de …

8 programming-languages program-optimization software-verification

2

Pourquoi la BNF est-elle considérée comme une technique peu satisfaisante pour décrire une langue?

L' autre jour, je lisais le document intitulé Fundamental Concepts in Programming Languages de C. Strachey , dans lequel j'ai lu quelque chose qui m'était assez étrange. Citant directement (avec la partie étrange surlignée par moi): Face à la situation telle qu'elle existe aujourd'hui, où il existe une méthode généralement …

8 formal-grammars programming-languages syntax

1

Algorithme de temps linéaire pour trouver

Définition. Étant donné un graphiqueG = ( V, E)G=(V,E)G=(V,E) et deux sommets sss et ttt, le kkkproblème le plus court est de trouver le kkk chemins simples les plus courts entre sss et ttt dans gGG. Notez que la longueur de ces chemins n'est pas nécessairement égale, et les sommets …

8 algorithms graphs optimization shortest-path enumeration

1

Pourquoi un encodeur MP3 utilise-t-il une transformée de Fourier rapide avant d'appliquer le modèle psychoacoustique?

Karlheinz Brandenburg représente un encodeur MP3 comme celui-ci: Source: MP3 et AAC expliqués J'ai marqué la FFT car je ne sais pas trop pourquoi il est réellement nécessaire d'en effectuer une. Pourquoi le modèle psychoacoustique ne peut-il pas être appliqué aux soi-disant lignes après la transformée en cosinus discrète modifiée …

8 algorithms data-compression fourier-transform

1

EDP de Church-Turing et physiques

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 …

8 computability simulation church-turing-thesis hypercomputation

1

Est-il possible de créer DFA pour les mots de longueur impaire avec 1 au milieu?

L:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | la longueur de est impaire 1 est au milieu dewww∧∧ \wedge w}w}w\} Donc l'alphabet est . Mon problème est que je ne peux pas suivre l'égalité des caractères avant et après . Un DFA limité pour une longueur inférieure à 6:{0,1}∗{0,1}∗\{0,1\}^*111 Comment puis-je le …

8 formal-languages finite-automata formal-grammars

3

Sous-ensemble maximum par paire non divisible par

Je un ensemble de nombres, et souhaite calculer le sous - ensemble maximal de telle sorte que la somme de deux quelconques des éléments de ce n'est pas divisible par un nombre entier . J'ai essayé de résoudre ce problème, mais j'ai trouvé la solution quadratique, qui n'est pas une …

8 algorithms efficiency

1

Origine du concept de types

À propos de l'état de l'art que je suis en avance sur la théorie des types, j'ai ces questions toutes liées à l'histoire des types. D'où est venue l'idée de Type ? (Il semble que tout commence lorsque Russell et Whitehead proposent un moyen d'éviter la contradiction que nous connaissons …

8 type-theory history

4

Créons-nous un langage de programmation en écrivant un compilateur?

Dis, je voulais créer mon propre langage de programmation. En supposant que j'ai pris toutes les décisions sur la façon dont je veux qu'il ressemble et agisse, ai-je juste besoin d'écrire un compilateur pour cela? Par exemple, le code Java de haut niveau est-il autre chose que du texte et …

8 programming-languages compilers

1

Prouvez n! est entièrement constructible en temps

Nous venons de terminer notre leçon "Constructibilité du temps" en classe la semaine dernière, et nous avons, par exemple, montré que nk,2nnk,2nn^k, 2^n sont entièrement constructibles dans le temps, c'est-à-dire qu'il existe une machine de Turing (déterministe multi-bandes) nnn donné, s'arrête après exactement F( n )f(n)f(n) étapes, et a simplement …

8 complexity-theory turing-machines time-complexity

1

Quelle est la complexité d'une recherche entre crochets utilisant des médiants?

J'essaie d'estimer la complexité d'un algorithme que j'ai écrit pour le décompilateur Reko , où j'essaie de "défaire" la transformation effectuée par un compilateur en une division entière par une constantex/nx/nx / n. Le compilateur a converti la division en une multiplication entière et un décalage:(x∗⌊2β/n⌋)>>β(x∗⌊2β/n⌋)>>β(x * \lfloor 2^\beta / …

8 algorithm-analysis runtime-analysis numerical-algorithms

3

Quelle est la relation entre la logique du premier ordre et la théorie du premier ordre?

Je pensais que tout FOT est un sous-ensemble de FOL, mais cela ne semble pas être le cas, car FOL est complet (chaque formule est soit valide soit invalide), tandis que certains FOT (comme l'arithmétique d'entier linéaire) ne sont pas complets. Alors, FOL est-il plus expressif que n'importe quel FOT? …

8 logic first-order-logic

1

Pourquoi «map insertionsort» n'est pas égal à «map mergesort»?

Dans la théorie des types podcast ep. 3 , Dan Licata affirme que le fait que pour chaque entrée, insertionsort et mergesort donnent le même résultat n'implique pas que le résultat serait égal lorsqu'il est utilisé en tant que fonctions d'ordre supérieur comme arguments d'une troisième fonction, c'est map insertionsort-à- …

8 type-theory functional-programming equality homotopy-type-theory

3

À quoi sert le calcul du combinateur SKI (ou même le calcul lambda)? Quels sont quelques exemples concrets de son utilisation?

Je comprends ce que c'est, mais je ne vois pas à quoi ça sert les algorithmes ou quoi que ce soit. Peut-être que je manque quelque chose. J'ai besoin que quelqu'un me donne un exemple de la façon dont il peut être utilisé pour que je puisse mieux le comprendre.

8 algorithms lambda-calculus combinatory-logic