TERMIUM Plus^®

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

Which term? (required)

Where?

In which subject field?

BUCHI CONDITION [1 record]

Filter results by subject field Alphabetical list of terms

Record 1 - internal organization data 2020-10-14

Record 1, English

Record 1, Subject field(s)

Mathematics
Artificial Intelligence

Büchi acceptance condition 1, record 1, English, B%C3%BCchi%20acceptance%20condition
correct

Büchi condition 2, record 1, English, B%C3%BCchi%20condition
correct

Record number: 1, Textual support number: 1 CONT

Note that any Büchi condition is a parity condition with two priorities and that any parity condition is a Streett condition. 3, record 1, English, - B%C3%BCchi%20acceptance%20condition

Record 1, French

Record 1, Domaine(s)

Mathématiques
Intelligence artificielle

condition d'acceptation de Büchi 1, record 1, French, condition%20d%27acceptation%20de%20B%C3%BCchi
correct, feminine noun

condition de Büchi 2, record 1, French, condition%20de%20B%C3%BCchi
correct, feminine noun

Record number: 1, Textual support number: 1 CONT

La condition de Büchi est plus générale que la condition d'atteignabilité dans le sens que l'on peut transformer un jeu d'atteignabilité en un jeu de Büchi «équivalent». 3, record 1, French, - condition%20d%27acceptation%20de%20B%C3%BCchi

Record 1, Spanish

Record 1, Campo(s) temático(s)

Matemáticas
Inteligencia artificial

condición de aceptación de Büchi 1, record 1, Spanish, condici%C3%B3n%20de%20aceptaci%C3%B3n%20de%20B%C3%BCchi
correct, feminine noun

Record number: 1, Textual support number: 1 CONT

Informalmente, la condición de aceptación de Büchi pide que se visiten infinitas veces ciertas locaciones distinguidas del autómata. 1, record 1, Spanish, - condici%C3%B3n%20de%20aceptaci%C3%B3n%20de%20B%C3%BCchi

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:: 2024-05-28

Language selection

Search and menus

Search

TERMIUM Plus^®

BUCHI CONDITION [1 record]

Record 1 - internal organization data 2020-10-14

Record 1, English

Record 1, Subject field(s)

Record 1, Main entry term, English

Record 1, Abbreviations, English

Record 1, Synonyms, English

Record 1, Textual support, English

Record number: 1, Textual support number: 1 CONT

Record 1, French

Record 1, Domaine(s)

Record 1, Main entry term, French

Record 1, Abbreviations, French

Record 1, Synonyms, French

Record 1, Textual support, French

Record number: 1, Textual support number: 1 CONT

Record 1, Spanish

Record 1, Campo(s) temático(s)

Record 1, Main entry term, Spanish

Record 1, Abbreviations, Spanish

Record 1, Synonyms, Spanish

Record 1, Textual support, Spanish

Record number: 1, Textual support number: 1 CONT