ISSN:  1139-8736
Depósito Legal: B-39199-99

2.2.2.3.  ESPECIFICACIÓN DE RASGOS POR DEFECTO.

La especificación de rasgos por defecto consiste en una secuencia de especificaciones por defecto. No es necesario especificar los valores por defecto para todos los rasgos. Si un valor por defecto está especificado, es posible inferir el valor correcto para un rasgo obligatorio cuando no está presente en una estructura de rasgos. De otra forma, una estructura de rasgos con un rasgo obligatorio ausente se considerará como un error.

El atributo de rasgo del membrete por defecto especifica el nombre del rasgo que se declara por defecto. El primer elemento anidado especifica el valor por defecto del rasgo. El segundo elemento es opcional y especifica la condición necesaria para que se produzca la asignación de ese valor por defecto. El fragmento de la DTD de la especificación de rasgos por defecto sería el siguiente:

<!ELEMENT

feature-defaults

-- (default+)

>

<!ELEMENT default

- - ( (atom | f.struct), guard?)

>

<!ATTLIST default feature

CDATA #REQUIRED

>

<!ELEMENT guard

-- (feature)*

>

<! Una condición puede ser una expresión compleja. Puede ser una estructura de rasgos con operadores booleanos, por ejemplo. En estos casos una condición se satisface cuando la estructura de rasgos en ella contenido unifica con una estructura de rasgos de llegada. De momento, aplazamos este desarrollo de condiciones hasta que se incorpore a esta DTD el mecanismo completo de f.struct. La declaración múltiple de valores en una condición se entenderá como conjuntiva. La disjunción se logrará creando múltiples especificaciones de valores por defecto para el mismo par atributo valor, pero con diferentes condiciones - - - ->

<!ELEMENT feature - - (atom | f. struct)* >
<!ATTLIST feature name CDATA #REQUIRED >

Como ejemplo se desarrolla este fragmento de DTD para la especificación de algunos de los rasgos por defecto que aparecen en Gazdar, Klein, Pullum y Sag (1985:246-247)

FSD 1:[-INV]
FSD 2: % [CONJ]
FSD 9: [INF, +SUBJ] - - - -> [COMP for]

% significa indefinido (es decir, no aplicable).

- - > es el operador de implicación de la lógica booleana.

Los autores de este libro plantean también un ejemplo con un bicondicional,, puesto que una bicondicional exige que haya especificación a ambos lados de la misma, Simmons prefiere tratarlas como una restricción de coaparición de rasgos.

Las especificaciones de rasgos por defecto que acabamos de ver se codificarían de la siguiente manera en una FSD:

<feature-defaults>
     <default feature=INV> <atom name=MINUS> </default>
     <default feature=CONJ> <atom name= "N/A"> </default>
     <default feature=COMP>
          <atom name=for>
          <guard>
               <feature name=VFORM> <atom
               name=INF> </feature>
               <feature name=SUBJ> <atom
               name=PLUS> </feature>
          </guard> </default>
</feature-defaults>

Anterior  I  Siguiente  I  Índice capítulo 2  I  Índice General


ISSN:  1139-8736
Depósito Legal: B-39199-99