TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
STREETT AUTOMATONS [4 fiches]
Fiche 1 - données d’organisme interne 2020-10-14
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Mathematics
- Artificial Intelligence
Fiche 1, La vedette principale, Anglais
- deterministic Streett automaton
1, fiche 1, Anglais, deterministic%20Streett%20automaton
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 CONT
... deterministic Streett automata are more powerful than deterministic Büchi automata ... 2, fiche 1, Anglais, - deterministic%20Streett%20automaton
Record number: 1, Textual support number: 1 OBS
deterministic Streett automaton: The plural forms are "deterministic Streett automatons" and "deterministic Streett automata." 3, fiche 1, Anglais, - deterministic%20Streett%20automaton
Fiche 1, Terme(s)-clé(s)
- deterministic Streett automatons
- deterministic Streett automata
Fiche 1, Français
Fiche 1, Domaine(s)
- Mathématiques
- Intelligence artificielle
Fiche 1, La vedette principale, Français
- automate de Streett déterministe
1, fiche 1, Français, automate%20de%20Streett%20d%C3%A9terministe
correct, nom masculin
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 CONT
Il est possible de transformer un automate [de] Büchi en un automate de Streett déterministe[,] mais [...] cette opération complexe ne réduit pas la taille de l'automate [...] 1, fiche 1, Français, - automate%20de%20Streett%20d%C3%A9terministe
Fiche 1, Espagnol
Fiche 1, Campo(s) temático(s)
- Matemáticas
- Inteligencia artificial
Fiche 1, La vedette principale, Espagnol
- autómata de Streett determinista
1, fiche 1, Espagnol, aut%C3%B3mata%20de%20Streett%20determinista
proposition, nom masculin
Fiche 1, Les abréviations, Espagnol
Fiche 1, Les synonymes, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 2020-09-14
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Mathematics
- Artificial Intelligence
Fiche 2, La vedette principale, Anglais
- nondeterministic Streett automaton
1, fiche 2, Anglais, nondeterministic%20Streett%20automaton
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
- non-deterministic Streett automaton 2, fiche 2, Anglais, non%2Ddeterministic%20Streett%20automaton
correct
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 CONT
Index appearance records (IAR) are used ... for the transformation of nondeterministic Streett automata into deterministic Rabin automata. 3, fiche 2, Anglais, - nondeterministic%20Streett%20automaton
Record number: 2, Textual support number: 1 OBS
nondeterministic Streett automaton: The plural forms are "nondeterministic Streett automatons" and "nondeterministic Streett automata." 4, fiche 2, Anglais, - nondeterministic%20Streett%20automaton
Record number: 2, Textual support number: 2 OBS
non-deterministic Streett automaton: The plural forms are "non-deterministic Streett automatons" and "non-deterministic Streett automata." 4, fiche 2, Anglais, - nondeterministic%20Streett%20automaton
Fiche 2, Terme(s)-clé(s)
- nondeterministic Streett automatons
- nondeterministic Streett automata
- non-deterministic Streett automatons
- non-deterministic Streett automata
Fiche 2, Français
Fiche 2, Domaine(s)
- Mathématiques
- Intelligence artificielle
Fiche 2, La vedette principale, Français
- automate de Streett non déterministe
1, fiche 2, Français, automate%20de%20Streett%20non%20d%C3%A9terministe
correct, nom masculin
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
Fiche 2, Justifications, Français
Fiche 2, Espagnol
Fiche 2, Campo(s) temático(s)
- Matemáticas
- Inteligencia artificial
Fiche 2, La vedette principale, Espagnol
- autómata de Streett no determinista
1, fiche 2, Espagnol, aut%C3%B3mata%20de%20Streett%20no%20determinista
proposition, nom masculin
Fiche 2, Les abréviations, Espagnol
Fiche 2, Les synonymes, Espagnol
Fiche 2, Justifications, Espagnol
Fiche 3 - données d’organisme interne 2020-09-14
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Mathematics
- Artificial Intelligence
Fiche 3, La vedette principale, Anglais
- probabilistic Streett automaton
1, fiche 3, Anglais, probabilistic%20Streett%20automaton
correct
Fiche 3, Les abréviations, Anglais
- PSA 1, fiche 3, Anglais, PSA
correct
Fiche 3, Les synonymes, Anglais
Fiche 3, Justifications, Anglais
Record number: 3, Textual support number: 1 CONT
As [a] Büchi acceptance condition can be rewritten as a Rabin or Streett acceptance condition, each PBA [probabilistic Büchi automaton] can be viewed as a PRA [probabilistic Rabin automaton] or as a PSA with the same accepted language. 1, fiche 3, Anglais, - probabilistic%20Streett%20automaton
Record number: 3, Textual support number: 1 OBS
probabilistic Streett automaton: The plural forms are "probabilistic Streett automatons" and "probabilistic Streett automata." 2, fiche 3, Anglais, - probabilistic%20Streett%20automaton
Fiche 3, Terme(s)-clé(s)
- probabilistic Streett automatons
- probabilistic Streett automata
Fiche 3, Français
Fiche 3, Domaine(s)
- Mathématiques
- Intelligence artificielle
Fiche 3, La vedette principale, Français
- automate de Streett probabiliste
1, fiche 3, Français, automate%20de%20Streett%20probabiliste
correct, nom masculin
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
Fiche 3, Justifications, Français
Fiche 3, Espagnol
Fiche 3, Campo(s) temático(s)
- Matemáticas
- Inteligencia artificial
Fiche 3, La vedette principale, Espagnol
- autómata de Streett probabilístico
1, fiche 3, Espagnol, aut%C3%B3mata%20de%20Streett%20probabil%C3%ADstico
proposition, nom masculin
Fiche 3, Les abréviations, Espagnol
Fiche 3, Les synonymes, Espagnol
Fiche 3, Justifications, Espagnol
Fiche 4 - données d’organisme interne 2020-09-14
Fiche 4, Anglais
Fiche 4, Subject field(s)
- Mathematics
- Artificial Intelligence
Fiche 4, La vedette principale, Anglais
- Streett automaton
1, fiche 4, Anglais, Streett%20automaton
correct
Fiche 4, Les abréviations, Anglais
Fiche 4, Les synonymes, Anglais
Fiche 4, Justifications, Anglais
Record number: 4, Textual support number: 1 CONT
Streett automata are exponentially more succinct than Büchi automata while Rabin automata are not. 2, fiche 4, Anglais, - Streett%20automaton
Record number: 4, Textual support number: 1 OBS
Streett automaton: The plural forms are "Streett automatons" and "Streett automata." 3, fiche 4, Anglais, - Streett%20automaton
Fiche 4, Terme(s)-clé(s)
- Streett automatons
- Streett automata
Fiche 4, Français
Fiche 4, Domaine(s)
- Mathématiques
- Intelligence artificielle
Fiche 4, La vedette principale, Français
- automate de Streett
1, fiche 4, Français, automate%20de%20Streett
correct, nom masculin
Fiche 4, Les abréviations, Français
Fiche 4, Les synonymes, Français
Fiche 4, Justifications, Français
Fiche 4, Espagnol
Fiche 4, Campo(s) temático(s)
- Matemáticas
- Inteligencia artificial
Fiche 4, La vedette principale, Espagnol
- autómata Streett
1, fiche 4, Espagnol, aut%C3%B3mata%20Streett
correct, nom masculin
Fiche 4, Les abréviations, Espagnol
Fiche 4, Les synonymes, Espagnol
Fiche 4, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2025
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 :