L'informatique

Q & A pour les étudiants, chercheurs et praticiens de l'informatique


2
Un oracle pour séparer NP de coNP
Comment prouver que ? Je cherche juste un tel oracle TM et un langage récursif pour lequel cela vaut. ML(M)=LN PUNE≠ c o N PUNENPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML ( M) = LL(M)=LL(M) = L Je connais la preuve où vous montrez qu'il y a un oracle tel que et un oracle …



1
À propos de l'algorithme de réduction de Codd
L'algorithme de Codd convertit une expression dans le calcul relationnel de tuple en algèbre relationnelle. Existe-t-il une implémentation standard de l'algorithme? Cet algorithme est-il utilisé n'importe où? (Il semble que l'industrie n'ait besoin que de SQL et de variantes, je ne suis pas sûr des théoriciens des bases de données …



2
Tous les langages sans contexte et réguliers sont-ils décidables de manière efficace?
Je suis tombé sur cette figure qui montre que les langages sans contexte et réguliers sont des sous-ensembles (appropriés) de problèmes efficaces (supposément ). Je comprends parfaitement que les problèmes efficaces sont un sous-ensemble de tous les problèmes décidables car nous pouvons les résoudre, mais cela peut prendre très longtemps.PP\mathrm{P} …


1
Le théorème smn est-il le même concept que le curry?
J'étudie le théorème smn et le concept m'a rappelé le curry. De l'article de wikipedia sur le théorème smn : le théorème dit que pour un langage de programmation donné et des entiers positifs m et n, il existe un algorithme particulier qui accepte en entrée le code source d'un …





3
Pourquoi la réécriture des termes?
J'ai fait un peu de recherche sur Google et je suis venu un peu court. Je me demande quelles sont les principales raisons pour lesquelles les informaticiens, les programmeurs, étudient la réécriture de termes et / ou la réécriture de graphes de termes. Pour autant que je sache, cela aide …

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.