L'utilisation de la notation formelle peut résoudre ce problème.
Si cette sémantique est présentée en notation formelle, elle peut être traitée par un programme et utilisée pour valider le document correspondant à cette sémantique.
If these semantics are given in a formal notation, they can be parsed with a program and used to validate the document using those semantics.
Il comporte un ensemble de règles formelles pour la description de la structure des objets qui sont indépendantes des techniques de codage spécifiques aux machines, et il constitue une notation formelle et précise qui dissipe les ambigüités.
It provides a set of formal rules for describing the structure of objects that are independent of machine-specific encoding techniques and is a precise, formal notation that removes ambiguities.
Dans presque tous les cas, vous utiliserez pour les références la notation abrégée, mais dans certains cas la notation formelle est requise pour une exécution correcte.
In almost all cases you will use the shorthand notation for references, but in some cases the formal notation is required for correct processing.
Dans les exemples ci-dessus, nous avons utilisé la notation abrégée pour les références, mais il y a aussi une notation formelle pour les références, illustrée ci-dessous
Shorthand notation for references was used for the examples listed above, but there is also a formal notation for references, which is demonstrated below
Dans presque tous les cas, vous utiliserez pour les r? f? rences la notation abr? g? e, mais dans certains cas la notation formelle est requise pour une ex? cution correcte.
In almost all cases you will use the shorthand notation for references, but in some cases the formal notation is required for correct processing.
Système de notation formelle qui établit une ligne de démarcation entre l'œuvre comme telle et la spécificité de chacune de ses itérations, MANS se présente comme une « partition » à lire lors d'une éventuelle re-création d'une œuvre.
A formal notation that delineates between the work as a whole and its specific iterations, MANS attempts to function as a "score" for future re-creations of a work.
La notation formelle est requise pour que l'interpréteur comprenne que l'on souhaite utiliser '$size' et non '$sizeTall', ce qui serait le cas si les accolades n'étaient pas présentes.
The formal notation is needed so the parser knows you mean to use the reference '$size' versus '$sizeTall' which it would if the '{}' weren't there.
Dans le rapport Algol 60, John Backus présentait une notation formelle pour décrire la syntaxe des langages de programmation (notation appelée Backus-Naur form, BNF).
In the ALGOL 58 report, John Backus presented a formal notation for describing programming language syntax, later named Backus normal form then renamed Backus-Naur form (BNF).
La notation formelle et la notation silencieuse peuvent être utilisées ensemble, comme illustré ci-dessous.
Formal and quiet reference notation can be used together, as demonstrated below.
Préparez des devoirs écrits et soumettez-les avant la date limite pour la notation formelle et les commentaires (généralement, ce n'est pas une tâche hebdomadaire mais peut être requis, normalement à la fin du module).
Prepare written assignments and submit them by a deadline for formal marking and feedback (typically this is not a weekly task but may be required, normally at the end of a module)
La notation formelle et la notation silencieuse peuvent ? tre utilis? es ensemble, comme illustr? ci-dessous.
Formal and quiet reference notation can be used together, as demonstrated below.
