metavariable

metavariable

[¦med·ə′ver·ē·ə·bəl]
(computer science)
One of the elements of a formal language, corresponding to the parts of speech of a natural language. Also known as component name; phrase name.
References in periodicals archive ?
7) The symbol "^" corresponds to the metavariable "[up arrow]" in the traditional LFG notation.
La cote maximale indique que la pratique de gestion ou la caracteristique du milieu considere est fortement associee aux variables constituant la metavariable << reussite >>.
introducidos mas adelante, son esquemas donde "[alpha]" es una metavariable que puede sustituirse por distintas variables preposicionales y, como se vera, es relevante para el desarrollo del articulo la sustitucion en ([SC.
La AD se ha propuesto como una metavariable de funcionamiento prefrontal, tanto por su formulacion conceptual como por sus relaciones empiricas con pruebas de rendimiento neurocognitivo (Pedrero-Perez et al.
While definite NPs provide a metavariable for which a substituend has to be provided from the preceding context howsoever defined, hence chosen meeting certain restrictions (presuppositions), so wh NPs also provide a metavariable for which a substituend has to be provided, obligatorily not out of the established context, meeting certain restrictions (either presuppositions or scope statements).
Who among the users eventually are involved and in what ways in the design process is the first level, metavariable, determined by how this issue is perceived by the architect, client and other users.
We use the metavariable c to range over constructors, but use the metavariables [Tau], r, and C when those constructors are types, regions and capabilities, respectively.
In general, a type metavariable [Tau] may refer to any type, including INT, TOP, any object type [Sigma] [element of] T, or uninitialized-object type [[Sigma].
The metavariable m ranges over the multiplicities 1 and w.
However, the metanotation of our transformation denotes by the metavariable p a distinct predicate, given by both a predicate symbol and an arity.
Such a variable may be thought of as a simple form of program input (where each occurrence of a metavariable represents the same input value) or as an (immutable) formal parameter of a function.
The metavariable c ranges over an infinite set of integer constants.