TERMIUM Plus®

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

AUTOMATE NON DETERMINISTE [7 fiches]

Fiche 1 2020-10-14

Anglais

Subject field(s)
  • Mathematics
  • Artificial Intelligence
CONT

... a nondeterministic automaton can have many runs on a given input word; in contrast, a deterministic automaton can have at most one.

OBS

deterministic automaton: The plural forms are "deterministic automatons" and "deterministic automata."

Terme(s)-clé(s)
  • deterministic automatons
  • deterministic automata

Français

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

Les automates déterministes sont bien plus faciles à manipuler [sur le plan] algorithmique, mais il est quelquefois nettement plus facile de concevoir un automate non déterministe [...]

Espagnol

Campo(s) temático(s)
  • Matemáticas
  • Inteligencia artificial
Conserver la fiche 1

Fiche 2 2020-09-14

Anglais

Subject field(s)
  • Mathematics
  • Artificial Intelligence
CONT

Deterministic Büchi automata are strictly weaker than nondeterministic Büchi automata.

OBS

nondeterministic Büchi automaton: The plural forms are "nondeterministic Büchi automatons" and "nondeterministic Büchi automata."

OBS

non-deterministic Büchi automaton: The plural forms are "non-deterministic Büchi automatons" and "non-deterministic Büchi automata."

Terme(s)-clé(s)
  • nondeterministic Büchi automatons
  • nondeterministic Büchi automata
  • non-deterministic Büchi automatons
  • non-deterministic Büchi automata

Français

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

[...] les automates de Büchi déterministes sont moins expressifs que les automates de Büchi non déterministes.

Espagnol

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

El autómata de Büchi no determinista permite modelar sistemas para generar sus respectivos gráficos de ataque.

Conserver la fiche 2

Fiche 3 2020-09-14

Anglais

Subject field(s)
  • Mathematics
  • Artificial Intelligence
CONT

Index appearance records (IAR) are used ... for the transformation of nondeterministic Streett automata into deterministic Rabin automata.

OBS

nondeterministic Streett automaton: The plural forms are "nondeterministic Streett automatons" and "nondeterministic Streett automata."

OBS

non-deterministic Streett automaton: The plural forms are "non-deterministic Streett automatons" and "non-deterministic Streett automata."

Terme(s)-clé(s)
  • nondeterministic Streett automatons
  • nondeterministic Streett automata
  • non-deterministic Streett automatons
  • non-deterministic Streett automata

Français

Domaine(s)
  • Mathématiques
  • Intelligence artificielle

Espagnol

Campo(s) temático(s)
  • Matemáticas
  • Inteligencia artificial
Conserver la fiche 3

Fiche 4 2020-09-14

Anglais

Subject field(s)
  • Mathematics
  • Artificial Intelligence
CONT

... deterministic Muller automata have the same expressive power as nondeterministic Muller automata.

OBS

nondeterministic Muller automaton: The plural forms are "nondeterministic Muller automatons" and "nondeterministic Muller automata."

OBS

non-deterministic Muller automaton: The plural forms are "non-deterministic Muller automatons" and "non-deterministic Muller automata."

Terme(s)-clé(s)
  • nondeterministic Muller automatons
  • nondeterministic Muller automata
  • non-deterministic Muller automatons
  • non-deterministic Muller automata

Français

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

L’expressivité des automates de Muller non déterministes est équivalente à celle des automates de Muller déterministes [...]

Espagnol

Campo(s) temático(s)
  • Matemáticas
  • Inteligencia artificial
Conserver la fiche 4

Fiche 5 2020-09-14

Anglais

Subject field(s)
  • Mathematics
  • Artificial Intelligence
CONT

Regular languages of infinite trees are recognizable by nondeterministic parity automata.

OBS

nondeterministic parity automaton: The plural forms are "nondeterministic parity automatons" and "nondeterministic parity automata."

OBS

non-deterministic parity automaton: The plural forms are "non-deterministic parity automatons" and "non-deterministic parity automata."

Terme(s)-clé(s)
  • nondeterministic parity automatons
  • nondeterministic parity automata
  • non-deterministic parity automatons
  • non-deterministic parity automata

Français

Domaine(s)
  • Mathématiques
  • Intelligence artificielle

Espagnol

Campo(s) temático(s)
  • Matemáticas
  • Inteligencia artificial
Conserver la fiche 5

Fiche 6 2020-09-14

Anglais

Subject field(s)
  • Mathematics
  • Artificial Intelligence
CONT

... a nondeterministic automaton can have many runs on a given input word; in contrast, a deterministic automaton can have at most one.

OBS

nondeterministic automaton: The plural forms are "nondeterministic automatons" and "nondeterministic automata."

OBS

non-deterministic automaton: The plural forms are "non-deterministic automatons" and "non-deterministic automata."

Terme(s)-clé(s)
  • nondeterministic automatons
  • nondeterministic automata
  • non-deterministic automatons
  • non-deterministic automata

Français

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

Les automates déterministes sont bien plus faciles à manipuler [sur le plan] algorithmique, mais il est quelquefois nettement plus facile de concevoir un automate non déterministe [...]

Espagnol

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

Cuando se describe un autómata no determinista, por lo general se utiliza un grafo de transiciones.

Conserver la fiche 6

Fiche 7 2020-09-14

Anglais

Subject field(s)
  • Mathematics
  • Artificial Intelligence
CONT

[The] nondeterministic Rabin automaton can be made deterministic using a Safra-like procedure ...

OBS

nondeterministic Rabin automaton: The plural forms are "nondeterministic Rabin automatons" and "nondeterministic Rabin automata."

OBS

non-deterministic Rabin automaton: The plural forms are "non-deterministic Rabin automatons" and "non-deterministic Rabin automata."

Terme(s)-clé(s)
  • nondeterministic Rabin automatons
  • nondeterministic Rabin automata
  • non-deterministic Rabin automatons
  • non-deterministic Rabin automata

Français

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

[...] les automates de Rabin non déterministes sont aussi expressifs que les automates de Rabin déterministes.

Espagnol

Campo(s) temático(s)
  • Matemáticas
  • Inteligencia artificial
Conserver la fiche 7

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 :