automate de Streett probabiliste

Désignations

français	automate de Streett probabiliste (correct,masculine noun)
anglais	probabilistic Streett automaton (correct) 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. OBS: probabilistic Streett automaton: The plural forms are ""probabilistic Streett automatons"" and ""probabilistic Streett automata."" PSA abrév. (correct)
espagnol	autómata de Streett probabilístico (proposal,masculine noun)

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Classement

Collections

Électronique et informatique informatics

Domaines

Intelligence artificielle

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-1dd154d05446500c/"

Données : TERMIUM Plus, Bureau de la traduction, gouvernement du Canada. Licence du gouvernement ouvert – Canada.