Le théorème d'Immerman-Vardi stipule que PTIME (ou P) est précisément la classe de langages pouvant être décrite par une phrase de la logique du premier ordre avec un opérateur à point fixe, sur la classe des structures ordonnées. L'opérateur de point fixe peut être soit le point le moins fixe...
Est-il possible de tester algorithmiquement si un nombre calculable est rationnel ou entier? En d'autres termes, serait-il possible pour une bibliothèque qui implémente des nombres calculables de fournir les fonctions isIntegerou isRational? Je suppose que ce n'est pas possible, et que cela est en...
En théorie des automates (automates finis, automates pushdown, ...) et en complexité, il existe une notion d '"ambiguïté". Un automate est ambigu s'il existe un mot avec au moins deux cycles d'acceptation distincts. Une machine est k- ambiguë si pour chaque mot w accepté par la machine il y a au...
Contexte: relations entre logique et automates Le théorème de Büchi affirme que la logique monadique du second ordre sur les chaînes (MSO) capture la classe des langages réguliers. La preuve montre en fait que MSO existentiel ( exist ou EMSO ) sur les chaînes est suffisant pour capturer des langues...
Existe-t-il un théorème général qui indiquerait, avec une désinfection appropriée, que la plupart des résultats connus concernant l'utilisation de nombres réels peuvent réellement être utilisés lorsque l'on considère uniquement les réels calculables? Ou existe-t-il une caractérisation appropriée...
Le problème de maintenance des commandes (ou «maintien de l'ordre dans une liste») est de supporter les opérations: singleton: crée une liste avec un élément, lui renvoie un pointeur insertAfter: donné un pointeur sur un élément, insère un nouvel élément après, renvoyant un pointeur sur le nouvel...
Pour les systèmes sans types dépendants, comme le système de type Hindley-Milner, les types correspondent à des formules de logique intuitionniste. Là, nous savons que ses modèles sont des algèbres de Heyting, et en particulier, pour réfuter une formule, nous pouvons nous limiter à une algèbre de...
Je sais que la question "est-ce qu'une formule de premier ordre a un modèle" est indécidable en général.ϕϕ\phi Quelqu'un pourrait-il me donner un lien ou un livre qui donnerait la réponse pour les modèles finis. Si j'ai une formule de premier ordre , est-il possible de déterminer si ϕ a un modèle...
Il semble que dans les langages de requête populaires pour les bases de données relationnelles, il est possible de créer des requêtes qui nécessiteront beaucoup de ressources pour répondre. En pratique, les administrateurs de base de données gèrent cela en limitant la quantité de mémoire par...
Ma question concerne la théorie des modèles finis / la complexité descriptive, donc signifiera "premier ordre sur des mots binaires finis, en utilisant des prédicats Rs et un prédicat unaire P vrai sur la position du 1 dans le mot".FO ( R )FO(R)FO(R) Je voudrais savoir, existe-t-il une...
Pour mieux comprendre un article, j'essaie d'obtenir une brève compréhension de la logique des points les moins fixes. Il y a quelques points où je suis coincé. Si est un graphique etG = ( V, E)G=(V,E)G = (V,E) Φ ( P) = { ( a , b ) ∣ G ⊨ E( a , b ) ∨ P( a , b ) ∨ ∃ z( E( a , z) ∧ P( z, b ) )...