Que Veut Dire DECIDABLE en Français - Traduction En Français

• décidable
• décidables

Exemples d'utilisation de Decidable en Anglais et leurs traductions en Français

It is decidable.
Est décidable.

The language should be decidable.
Le langage devrait être décidable.

It is decidable.
Il est décidable.

Show that this problem is decidable.
Prouver que ce nouveau problème est décidable.

This problem is decidable for two automatic words.
Ce problème est décidable pour deux mots automatiques.

And was mathematics decidable?
Les mathématiques sont-elles décidables?

Unification is decidable for the following theories.
L'E-unification est décidable pour les théories suivantes ː.

Mathematics is not decidable.
Énoncés de mathématiques ne sont pas décidables.

The language over is decidable by a deterministic Turing machine in polynomial time.
Le langage L peut donc être décidé en temps polynomial par une machine de Turing déterministe.

The word problem on ground terms is not decidable.
Le problème du mot en logique combinatoire est indécidable.

The rank problem is decidable for finite groups and for finitely generated abelian groups.
Le problème du rang est décidable pour les groupes finis et pour les groupes abéliens de type fini.

Membership to FBO(k) is proved decidable.
Nous montrons que le problème de l'appartenance à FBO(k) est décidable.

We exhibit similar decidable extensions as the one showed in the case of data words.
Nous introduisons des extensions décidables similaires à celles que nous avons étudiées dans le cas de mots de données.

This corresponds to a recursive set or a decidable language.
On parle par exemple de langage récursif ou décidable.

On data trees, we consider three decidable automata models with diff-erent characteristics.
Sur les arbres de données, nous considérons trois modèles décidables d'automates avec des caractéristiques différentes.

Any axiomatizable and complete theory is decidable.
Une théorie récursivement axiomatisable et complète est décidable.

These also extend or complement many known decidable subclasses of systems studied previously.
Cette classe décidable de système généralise plusieurs sous-classes décidables étudiées précédemment.

Each such closure property is then shown to be decidable.
Nous montrons ensuite que chaque propriété de clôture est décidable.

Penthouse most decidable unit in this Modern Brand New Luxury apartment, located in the heart of Pasadena.
Penthouse unité la plus décidable dans cet appartement de luxe moderne Brand New, situé au coeur de Pasadena.

Is this provable, are we in the domain of decidable propositions?
Prouvable, est-ce que c'est du domaine des propositions décidables?

Our objective is to identify decidable fragments which are as large as possible, while keeping a good complexity/expressivity trade-off, and to develop efficient reasoning algorithms.
Nous cherchons à identifier des fragments décidables les plus larges possibles, tout en obtenant un bon compromis expressivité/complexité et à développer des algorithmes de raisonnement efficaces.

Finally, we showthat the equational theory of V 0 is decidable.
Enfin, nous montrons que la théorie équationnelle de V 0 est décidable.

All the theoretical statements are so-called decidable if either one or other of the statement or his negation is a theorem.
Tous les énoncés théoriques sont dits décidables si l'un ou l'autre de l'énoncé ou de sa négation est un théorème.

The validity of first order logic is not decidable.
Le problème de satisfiabilité d'une formule de la logique du premier ordre est indécidable.

The conditions under which the embedding problem is decidable were also defined.
Les conditions dans lesquelles le problème d'intégration est décidable ont également été définies.

In particular, the first-order theory of a RTL automaton is decidable.
En particulier, la théorie du premier ordre d'un automate RTL est décidable.

Halava, Hirvensalo, and de Wolf showed that this variation is decidable in exponential time.
Halava, Hirvensalo, et de Wolf ont montré que cette variante est décidable en temps exponentiel.

Christophe Prieur has shown that the problem of the continuity is decidable.
Christophe Prieur a montré que le problème de la continuité est décidable.

Hilbert's third question remained: is mathematics decidable?
Reste la troisième question, abordée par Turing: Les mathématiques sont-elles décidables?

We identified some restricted cases when the problem becomes decidable.
Nous avons identifié quelques cas restreints où le problème devient décidable.

Comment utiliser "decidable" dans une phrase en Anglais

Unfastidious decidable Obadias desorbs inscribes curetting anachronistically.

Towards an Expressive Decidable Logical Action Theory.

Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammar.

Decidable Britt misdealing, remissions provide battledore inexpiably.

Type-level Chars and Strings, with decidable equality.

Résumé: What’s decidable about parametric timed automata?

State Clock Logic: A Decidable Real-Time Logic.

Can A Decidable Theory Have Nonrecursive Models?

Are runtime bounds decidable for anything nontrivial?

Decidable Che supplant, generatrix intoxicate stews rhapsodically.

Comment utiliser "décidable" dans une phrase en Français

Cette partie n'est pas décidable par le membre.

L’alternative n’est décidable que pour les ORTHOS.

Quand le jeu d’échecs sera-t-il décidable ? 1997 année heuristique ?

Maintenant, prenons P=NP et l'affirmation qu'il n'est pas décidable dans ZFC.

Le complémentaire d'un ensemble décidable est décidable.

Une figure impossible peut être définie comme étant décidable et inconstructible.

C’est pourquoi le mérite d’une théorie scientifique est d’être décidable ou falsifiable.

Il n'existe aucun algorithme d'inférence décidable pour OWL-Full.

Par exemple, dans un ensemble fini, toute question est décidable !

Un système formel décidable constitue un cas particulier de problème décidable.