TERMIUM Plus®

The Government of Canada’s terminology and linguistic data bank.

NONDETERMINISTIC BUCHI AUTOMATON [1 record]

Record 1 2020-09-14

English

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."

Key term(s)
  • nondeterministic Büchi automatons
  • nondeterministic Büchi automata
  • non-deterministic Büchi automatons
  • non-deterministic Büchi automata

French

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.

Spanish

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.

Save record 1

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2024
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau

Features

Language Portal of Canada

Access a collection of Canadian resources on all aspects of English and French, including quizzes.

Writing tools

The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.

Glossaries and vocabularies

Access Translation Bureau glossaries and vocabularies.

Date Modified: