TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

CONDITION ACCEPTATION STREETT [1 fiche]

Fiche 1 2020-09-14

Anglais

Subject field(s)
  • Mathematics
  • Artificial Intelligence
CONT

Note that any Büchi condition is a parity condition with two priorities and that any parity condition is a Streett condition.

Français

Domaine(s)
  • Mathématiques
  • Intelligence artificielle
CONT

La condition de Streett est la négation de la condition de Rabin.

Espagnol

Campo(s) temático(s)
  • Matemáticas
  • Inteligencia artificial
CONT

La condición Streett es la negación de la condición Rabin.

Conserver la fiche 1

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2024
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

En vedette

Portail linguistique du Canada

Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.

Outils d'aide à la rédaction

Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.

Lexiques et vocabulaires

Accédez aux lexiques et vocabulaires du Bureau de la traduction.

Date de modification :