ISSN: 1139-8736 Depósito Legal: B-39199-99 |
2.2.2.4. RESTRICCIONES DE COAPARICIÓN DE RASGOS
La especificación de restricciones de coaparición de rasgos consiste en una secuencia de tests condicionales y bicondicionales. Una estructura de rasgos determinada es válida sólo si cumple todos los test. El elemento <if> codifica la operación si-entonces de la lógica booleana. En las restricciones de coaparición de rasgos el antecedente y el consecuente se expresan como estructuras de rasgos. El elemento <iff> codifica el bicondicional (si y sólo si) de la lógica booleana. El fragmento de la DTD para las expresiones de coaparición de rasgos sería el siguiente:
<!ELEMENT | constraints feature | - - - | (if | iff)+ | > |
<!ELEMENT | if | - - - | (antecedent,consequent) | > |
<!ELEMENT | iff | - - - | (antecedent,consequent) | > |
<!ELEMENT | antecedent | - - - | (feature+ |f.struct) | |
- - - | (feature+ |f.struct) |
Como aplicación se toman las siguientes restricciones de coaparición de rasgos de Gazdar, Klein, Pullum y Sag (1985: 246-247):
FCR 1: | [+INV] | - - -> | [+AUX, FIN] |
FCR 7: | [BAR 0] | < - - - > | [N] & [V] & [SUBCAT] |
FCR 8: | [BAR 1] | - - - > | %[SUBCAT] |
FCR 20: | %([SLASH] & [WH] |
<- - -> es el operador booleano bicondicional.
FCR 20 es la única restricción que no se expresa con un operador de implicación; se supone que significa que si SLASH o WH está definido, el otro no puede estarlo, se traduce, por tanto, como dos condicionales.
Las restricciones anteriores se codificarían en una FSD de la siguiente manera:
<feature constraints> |
NOTAS
1 Simmon aplica esta declaración de sistema de rasgos (FSD) para dar cuenta de una red en lingüística sistemática. No nos ha parecido necesario dar cuenta también de esta aplicación, pues en el desarrollo de esta tesis no valdremos únicamente de los mecanismos de la Gramática de Estructura de Frase Generalizada (GPSG).
Anterior I Siguiente I Índice capítulo 2 I Índice General
ISSN: 1139-8736 Depósito Legal: B-39199-99 |