Las gramáticas minimalistas son una clase de gramáticas formales que tienen como objetivo proporcionar una formalización del programa minimalista chomskyano más rigurosa, generalmente basada en la teoría de la prueba, de lo que normalmente se proporciona en la literatura minimalista convencional. Existe una variedad de formalizaciones particulares, la mayoría de ellas desarrolladas por Edward Stabler , Alain Lecomte, Christian Retoré o combinaciones de los mismos.
Extensiones de Lecomte y Retoré del cálculo de Lambek
Lecomte y Retoré (2001) [1] introducen un formalismo que modifica ese núcleo del cálculo de Lambek para permitir la descripción de procesos similares a movimientos sin recurrir a la combinatoria de la gramática categorial combinatoria . El formalismo se presenta en términos de teoría de la prueba. Difiriendo solo ligeramente en notación de Lecomte y Retoré (2001), podemos definir una gramática minimalista como una tupla de 3, dónde es un conjunto de características "categóricas", es un conjunto de características "funcionales" (que vienen en dos sabores, "débil", denotado simplemente y "fuerte", denotado ), y es un conjunto de átomos léxicos, denotados como pares , dónde es algún contenido fonológico / ortográfico, y es un tipo sintáctico definido recursivamente como sigue:
- todas las funciones en y son tipos (atómicos), y
- Si y son tipos, también lo son , , y .
Ahora podemos definir 6 reglas de inferencia:
- , para todos
- , para todos
La primera regla simplemente hace posible el uso de elementos léxicos sin suposiciones adicionales. La segunda regla es solo un medio de introducir supuestos en la derivación. La tercera y cuarta reglas solo realizan la verificación de características direccionales, combinando los supuestos necesarios para construir las subpartes que se están combinando. La regla de la entropía presumiblemente permite que las secuencias ordenadas se dividan en secuencias desordenadas. Y finalmente, la última regla implementa el "movimiento" mediante la eliminación de supuestos.
A la última regla se le pueden dar varias interpretaciones diferentes para imitar completamente el movimiento del tipo normal que se encuentra en el Programa Minimalista. La explicación dada por Lecomte y Retoré (2001) es que si uno de los tipos de productos es una característica funcional fuerte, entonces el contenido fonológico / ortográfico asociado con ese tipo a la derecha se sustituye por el contenido de la a , y el otro es sustituido con la cadena vacía; mientras que si ninguno es fuerte, entonces el contenido fonológico / ortográfico se sustituye por el rasgo de categoría y la cadena vacía se sustituye por el rasgo funcional débil. Es decir, podemos reformular la regla como dos subreglas de la siguiente manera:
- dónde
- dónde
Otra alternativa sería construir pares en los pasos / E y \ E , y usar elregla como dada, sustituyendo el contenido fonológico / ortográfico a en la más alta de las posiciones de sustitución, y la cadena vacía en el resto de las posiciones. Esto estaría más en línea con el Programa Minimalista, dado que son posibles múltiples movimientos de un elemento, donde solo se "deletrea" la posición más alta.
Ejemplo
Como un ejemplo simple de este sistema, podemos mostrar cómo generar la oración que vio John con la siguiente gramática de juguete:
Dejar , donde L contiene las siguientes palabras:
Por tanto, la prueba de la sentencia que vio Juan es:
Referencias
- ^ Lecomte, A., Retoré, C. (2001). "Ampliación de gramáticas de Lambek: una cuenta lógica de gramáticas minimalistas". Proc. 39th Ann. Reunión de la Asociación de Lingüística Computacional (PDF) . págs. 362–369.CS1 maint: varios nombres: lista de autores ( enlace )
Otras lecturas
- Harkema, H., 2001. "Una caracterización de lenguajes minimalistas", en: de Groote, P., Morrill, G., Retoré, C. (Eds.), Logical Aspects of Computational Linguistics (Lecture Notes in Artificial Intelligence, No 2099). Springer, Nueva York, págs. 193–211, doi : 10.1007 / 3-540-48199-0_12
- Edward P. Stabler (2010). "Después del gobierno y la teoría vinculante". En Johan FAK van Benthem; Alice ter Meulen (eds.). Manual de Lógica y Lenguaje (2ª ed.). Elsevier. págs. 395–414. ISBN 978-0-444-53727-0.