TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
EQUATIONAL SPECIFICATION [3 records]
Record 1 - internal organization data 2025-03-11
Record 1, English
Record 1, Subject field(s)
- Computer Programs and Programming
- Artificial Intelligence
Record 1, Main entry term, English
- nondeterministic operator
1, record 1, English, nondeterministic%20operator
correct, noun
Record 1, Abbreviations, English
Record 1, Synonyms, English
- non-deterministic operator 2, record 1, English, non%2Ddeterministic%20operator
correct, noun
Record 1, Textual support, English
Record number: 1, Textual support number: 1 CONT
... existing models for nondeterminism depart radically from the standard models for(equational) specifications of deterministic operators. One would prefer that a specification language for nondeterministic operators be based on an extension of the standard model concepts... 3, record 1, English, - nondeterministic%20operator
Record 1, French
Record 1, Domaine(s)
- Programmes et programmation (Informatique)
- Intelligence artificielle
Record 1, Main entry term, French
- opérateur non déterministe
1, record 1, French, op%C3%A9rateur%20non%20d%C3%A9terministe
correct, masculine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record 1, Spanish
Record 1, Campo(s) temático(s)
- Programas y programación (Informática)
- Inteligencia artificial
Record 1, Main entry term, Spanish
- operador no determinista
1, record 1, Spanish, operador%20no%20determinista
correct, masculine noun
Record 1, Abbreviations, Spanish
Record 1, Synonyms, Spanish
Record 1, Textual support, Spanish
Record number: 1, Textual support number: 1 CONT
[...] "sample" es un operador no determinista y devuelve un conjunto de resultados diferente cada vez que se evalúa durante la consulta. 1, record 1, Spanish, - operador%20no%20determinista
Record 2 - internal organization data 2024-05-09
Record 2, English
Record 2, Subject field(s)
- Artificial Intelligence
Record 2, Main entry term, English
- equational specification
1, record 2, English, equational%20specification
correct
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, French
Record 2, Domaine(s)
- Intelligence artificielle
Record 2, Main entry term, French
- spécification équationnelle
1, record 2, French, sp%C3%A9cification%20%C3%A9quationnelle
correct, feminine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
Record 2, Textual support, French
Record 2, Spanish
Record 2, Textual support, Spanish
Record 3 - internal organization data 2021-11-10
Record 3, English
Record 3, Subject field(s)
- Computer Programs and Programming
- Artificial Intelligence
Record 3, Main entry term, English
- deterministic operator
1, record 3, English, deterministic%20operator
correct
Record 3, Abbreviations, English
Record 3, Synonyms, English
Record 3, Textual support, English
Record number: 3, Textual support number: 1 CONT
... existing models for nondeterminism depart radically from the standard models for(equational) specifications of deterministic operators. One would prefer that a specification language for nondeterministic operators be based on an extension of the standard model concepts... 2, record 3, English, - deterministic%20operator
Record 3, French
Record 3, Domaine(s)
- Programmes et programmation (Informatique)
- Intelligence artificielle
Record 3, Main entry term, French
- opérateur déterministe
1, record 3, French, op%C3%A9rateur%20d%C3%A9terministe
correct, masculine noun
Record 3, Abbreviations, French
Record 3, Synonyms, French
Record 3, Textual support, French
Record 3, Spanish
Record 3, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2025
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: