MODELOS FORMAIS DE GRAMTICA:

O PROGRAMA MINIMALISTA VS. GRAMTICAS

BASEADAS EM RESTRIES HPSG E LFG
rica dos S. Rodrigues
PUC- RJ

Marina R. A. Augusto
UERJ

RESUMO
Este artigo apresenta alguns dos principais modelos formais mais
discutidos e adotados na presente dcada. O Minimalismo, verso atual do gerativismo chomskyano, a Lexical Functional
Grammar e a Head-Driven Phrase Structure Grammar so os
modelos abordados. A comparao entre os objetivos de cada
modelo, aspectos de sua formalizao e alcance de aplicabilidade
permite esboar as principais tendncias dos estudos formais no
quadro dos estudos lingusticos.
PALAVRAS-CHAVE: modelos formais minimalismo LFG
HDPS

1. Introduo
O emprego do adjetivo formal para fazer referncia a modelos
lingusticos tem gerado muitas imprecises devido s diferentes acepes
que o termo pode assumir. O adjetivo formal comumente empregado
em Lingustica em oposio a funcional, e remete a abordagens tericas que se voltam investigao de fatores lingusticos estruturais,
estabelecendo uma separao entre aspectos gramaticais e elementos
relacionados ao universo pragmtico e comunicativo dos falantes de
matraga, rio de janeiro, v.16, n.24, jan./jun. 2009

133

MODELOS FORMAIS DE GRAMTICA: O PROGRAMA MINIMALISTA VS. GRAMTICAS BASEADAS ...

uma dada lngua. Como principal representante dessa linha de investigao, costuma-se apontar a gramtica gerativa chomskyana, a qual,
em sua trajetria, pode ser caracterizada como um programa de pesquisa que vem buscando construir um modelo formal de lngua que
atenda tanto a condies de adequao descritiva quanto explanatria,
isto , que, alm de permitir caracterizar as gramticas das lnguas
particulares, possa explicar como se d o processo de aquisio da
linguagem a partir de um input lingustico restrito. Formal, pois, na
Gramtica Gerativa, remete tanto primeira acepo do termo quanto
ao sentido de formalizado. Nessa segunda acepo, a Gramtica
Gerativa pode ser entendida como uma gramtica formal, que faz uso
de uma notao matematicamente precisa para explicitar os mecanismos que definem as estruturas lingusticas. A Gramtica Gerativa, contudo, apenas um tipo de gramtica formal. Alm da abordagem
gerativa, podem ser citadas propostas alternativas que compartilham a
concepo de lngua como um sistema de representao mental que
pode ser modelado a partir de um vocabulrio definido. Neste artigo,
busca-se comparar, em linhas gerais, a verso mais recente da proposta
gerativa o Programa Minimalista - a duas teorias alternativas, de
base lexicalista, no-transformacionais a Lexical Functional Grammar
(LFG) e a Head-Driven Phrase Structure Grammar (HPSG), ambas de
certo modo herdeiras da tradio gerativista.
O artigo apresenta a seguinte organizao. Faz-se inicialmente
um breve histrico, seguido da apresentao das trs propostas
Minimalismo, LFG e HPSG, buscando-se destacar seus objetivos e as
principais caractersticas de sua arquitetura formal. Finaliza-se com
uma comparao entre os modelos.

2. Breve histrico
comum tomar-se o gerativismo como principal representante
do formalismo na Lingustica. A proposta de um novo modelo para os
estudos lingusticos comeou a ser delineada em 1957, momento em
que Chomsky props a adio de um componente transformacional a
uma gramtica de estrutura frasal do tipo context-free. Assumindo que
certas dependncias no poderiam ser capturadas por um modelo de
gramtica desse tipo, as transformaes tiveram como funo, no
surgimento da teoria gerativa, captur-las, relacionando uma estrutura
profunda, sede da interpretao semntica, a uma estrutura superficial.
134

matraga, rio de janeiro, v.16, n.24, jan./jun. 2009

rica dos S. Rodrigues, Marina R. A. Augusto

Na dcada de 70, no entanto, o papel da estrutura profunda como

sede da interpretao semntica ganha uma reinterpretao, na voz de
Katz e Postal, que propem que toda a informao semntica esteja
representada nesse nvel. o surgimento da semntica gerativa. Essa
nova corrente dissolve a distino entre lxico e sintaxe, uma vez que
os tomos de sentido dos itens lexicais formam os prprios constituintes sintticos. A distncia entre estrutura profunda e superficial ampliada, intensificando-se a necessidade de aumento do nmero e tipos
de transformaes para relacionar esses dois nveis.
H uma forte reao a essa proposta por parte de Chomsky,
Jackendoff e outros gerativistas. Essa dcada assiste, assim, explicitao
da hiptese lexicalista, a qual defende que as transformaes tm um
papel limitado na manipulao de itens lexicais, podendo rearranjlos, mas jamais alter-los, restringindo, desse modo, a morfologia
derivacional ao componente lexical. Jackendoff, por sua vez, demonstra que certo tipo de interpretao semntica no pode prescindir de
informao disponibilizada pela estrutura superficial, dando incio
viso de uma forma lgica, locus da interpretao semntica, alimentada pelo output da sintaxe. Ao mesmo tempo, uma preocupao constante pela delimitao do poder gerativo das regras transformacionais
ganha espao cada vez maior.
Esse conjunto de preocupaes ser responsvel, na dcada de
80, pelo desenvolvimento do arcabouo terico mais fecundo da gramtica gerativa: Princpios e Parmetros (P&P), assim como pelo
surgimento de modelos formais alternativos, como a Lexical-Functional
Grammar (LFG) e a Head-driven Phrase Structure Grammar (HPSG).
As teorias formais dissidentes da verso gerativista clssica tm
em comum o fato de adotarem uma abordagem lexicalista forte e rejeitarem a concepo de transformaes sintticas.

3. Minimalismo
A verso mais recente do gerativismo clssico - o Programa
Minimalista (CHOMSKY, 2007) - tem como principal objetivo construir
uma teoria da gramtica fundada sobre conceitos naturais exclusivamente, baseando-se em uma viso de economia que implica noes de
que nenhuma teoria da gramtica possa prescindir e apenas essas. A
aquisio da linguagem se mantm como uma das preocupaes tericas centrais e questes relativas ao uso so reconsideradas. Vrios tramatraga, rio de janeiro, v.16, n.24, jan./jun. 2009

135

MODELOS FORMAIS DE GRAMTICA: O PROGRAMA MINIMALISTA VS. GRAMTICAS BASEADAS ...

balhos passam a engendrar discusses relativas articulao entre

processamento lingustico e gramtica e contemplam a possibilidade
de adotar os pressupostos e mecanismos assumidos no minimalismo
para o parsing e a formulao de enunciados (PHILLIPS, 1996 e CORRA;
AUGUSTO, 2007).

3.1. Arquitetura formal: principais caractersticas

Assume-se a noo de Faculdade da Linguagem - entendida como
um componente especfico da mente/crebro humano, cujo estado inicial determinado biologicamente e cujo estado final estvel constitui a gramtica de uma lngua especfica, ou lngua-interna (Lngua-I).
A gerao de estruturas da lngua resultado da atuao de um sistema
computacional, que se encontra encaixado nos sistemas de desempenho. Recentemente, Hauser, Chomsky & Fitch (2002) tm se referido ao
sistema computacional em si como FLN (Faculty of Language in the
narrow sense) e ao conjunto desse e dos sistemas cognitivos com os
quais FLN faz interface como FLB (Faculty of language in the broad
sense). Assumem-se, assim, dois nveis de representao para uma sentena da lngua, responsveis pelo pareamento entre som/forma e sentido: os nveis de representao Forma Fontica (PF - do ingls Phonetic
Form) e Forma Lgica (LF - do ingls Logical Form), conceptualmente
motivados por fazerem interface com os sistemas de performance: sistema sensrio-motor (interface fontico-fonolgica) e os sistemas
conceituais-intencionais (interface semntica).

3.1.1. Traos e operaes

Na viso minimalista, no h regras especficas a serem adquiridas. O lxico comporta toda a informao paramtrica peculiar a uma
dada lngua e o sistema computacional sensvel a esse tipo de informao. Essa codificao paramtrica possibilitada pela concepo de
que os itens lexicais constituem conjuntos de traos que retratam tanto
propriedades fonticas e semnticas, como tambm propriedades gramaticais, representadas por traos formais do tipo: gnero, nmero,
pessoa, Caso, QU, etc.
O sistema computacional composto por uma srie de operaes
- Select, Merge, Agree/Move - que atuam sobre uma Numerao um
conjunto de itens lexicais selecionados. Mais especificamente, o sistema computacional atua sobre os traos formais/gramaticais dos itens
136

matraga, rio de janeiro, v.16, n.24, jan./jun. 2009

rica dos S. Rodrigues, Marina R. A. Augusto

lexicais, a fim de que, em um determinado momento da derivao sinttica (Spell-Out), em que s restem traos fonolgicos, semnticos ou
formais passveis de interpretao pelos sistemas de pensamento, se
envie a cada uma das interfaces lingusticas a informao relevante
para os sistemas de desempenho.
A seleo de itens lexicais e de seus respectivos traos para a
formao da Numerao determina, portanto, a atuao das operaes
do sistema computacional. A combinao de elementos se faz pela atuao da operao Merge, de acordo com uma concepo de Teoria Xbarra reformulada.1 A imposio de interpretabilidade dos traos,
advinda dos sistemas de interface, impe ao sistema computacional o
acionamento da operao Agree. Traos interpretveis e nointerpretveis de mesmo tipo podem ser associados a categorias que
sero relacionadas no decorrer da derivao sinttica por meio dessa
operao. A operao Move passa a ser entendida como Copy + Merge.
Nesse momento, assume-se que cpias do elemento deslocado so geradas, as quais, por sua vez, no sero pronunciadas no output fontico, embora possam ser relevantes para questes de interpretao, no
componente semntico.
Outro aspecto que crucial apontar diz respeito incorporao,
em 1998, da noo de fase. A derivao procede por subarranjos de
itens lexicais disponibilizados na Numerao.

3.1.2. Princpios gramaticais

No Minimalismo, identificam-se duas categorias de princpios:
princpios relacionados ao mecanismo de derivao sinttica, os chamados Princpios de Economia e as Condies de Localidade, e aqueles
relativos aos nveis de representao que fazem interface com os sistemas de desempenho - o Princpio de Interpretabilidade Plena e a Condio de Inclusividade.
Em suma, no Minimalismo, tem-se uma caracterizao da Faculdade da Linguagem mais restrita e enxuta, com princpios, de carter
mais geral, e parmetros, definidos sobre propriedades do lxico.

4. Lexical Functional Grammar

A Lexical Functional Grammar (LFG) uma teoria no
transformacional, baseada em restries, que assume um lxico altamente estruturado e toma como primitivos tericos funes gramaticais.
matraga, rio de janeiro, v.16, n.24, jan./jun. 2009

137

MODELOS FORMAIS DE GRAMTICA: O PROGRAMA MINIMALISTA VS. GRAMTICAS BASEADAS ...

A proposta de arquitetura formal da LFG foi desenvolvida no final da

dcada de 70 e descrita em detalhes pela primeira vez em Kaplan &
Bresnan (1982). A LFG o resultado da convergncia de investigaes
conduzidas, no incio dos anos 70, na rea da Lingustica, da
Psicolingustica e das Cincias da Computao.
Como visto na introduo, na Lingustica, havia um movimento
de forte reao ao chamado Modelo Padro da Gramtica Gerativa. Na
Psicolingustica, por sua vez, resultados experimentais colocavam em
xeque a Teoria da Complexidade Computacional e, nas Cincias da
Computao, ganhava destaque o trabalho de pesquisadores como
Kaplan, Wanner & Maratsos, envolvidos com o formalismo da
Augmented Transition Network, o qual operava livre do conceito de
transformaes e permitia representar relaes gramaticais em termos
de atributos e valores.
Devido natureza matematicamente precisa, bem definida e
flexibilidade do formalismo assumindo na LFG, a teoria tem sido particularmente relevante para a investigao de lnguas tipologicamente
distintas, em especial das chamadas lnguas no-configuracionais, e
tambm para o desenvolvimento de recursos computacionais de parsing
e gerao de sentenas. Bresnan (2001) observa que, alm da rea da
sintaxe, h tambm um nmero expressivo de trabalhos nas reas de
semntica e de morfologia. Destaca ainda as articulaes da LFG com
Teoria de Otimalidade e com abordagens voltadas a anlises lingusticas de cunho probabilstico, como as do Data-Oriented Parsing.

4.1. Arquitetura formal: principais caractersticas

A LFG apresenta duas caractersticas definidoras: sua orientao
fortemente lexicalista e sua orientao funcional, no sentido de tomar
como primitivos tericos as funes gramaticais. Esse ltimo aspecto
representa uma diferena crucial em relao s propostas gerativistas.
Como observa Bresnan (2001), enquanto a Gramtica Gerativa concebe
o design da gramtica universal de modo configuracional, a LFG assume uma abordagem relacional, em que a informao relativa estrutura de predicados e argumentos, bem como a funes gramaticais, que
seria relevante para a caracterizao do que h de universal entre as
diferentes lnguas.
Outra caracterstica da LFG que o modelo opera com mltiplos
nveis de representao, cada qual com sua prpria arquitetura, voca138

matraga, rio de janeiro, v.16, n.24, jan./jun. 2009

rica dos S. Rodrigues, Marina R. A. Augusto

bulrio e restries, os quais so paralelos e ligados por meio de regras

de correspondncia.

4.1.1 Nveis de representao

Os principais nveis de representao assumidos na LFG so a
estrutura argumental (estrutura-a), a estrutura funcional (estrutura-f) e
a estrutura de constituintes (estrutura-c).
A estrutura-a codifica informao lexical relativa ao nmero,
tipo sinttico e organizao hierrquica dos argumentos de um
predicador, tendo uma natureza mista semntica e sinttica. O
mapeamento dessa estrutura argumental em funes sintticas se faz
com base em alguns princpios que restringem as condies em que o
mapeamento pode ocorrer. Por exemplo, h um princpio que especifica que todo predicador deve ter um sujeito; outro que especifica como
biunvoca a associao entre papis temticos e funes sintticas.
A estrutura-f codifica funes gramaticais como sujeito, objeto,
e tambm traos funcionais como tempo, aspecto, pessoa, nmero, etc.
A funo gramatical e os traos so atribudos a um dado item por
meio de uma matriz atributo-valor (attribute value matrix AVM).
O exemplo, a seguir, reproduzido de Bresnan (2001, p. 46) ilustra
a estrutura-f (conjunto finito de pares de atributos e valores) da sentena em ingls Lions live in the forest.

Figura 1: estrutura-f

Nessa representao, do lado esquerdo esto os atributos e, do

lado direito, os valores a eles relacionados. Um atributo pode ser um
matraga, rio de janeiro, v.16, n.24, jan./jun. 2009

139

MODELOS FORMAIS DE GRAMTICA: O PROGRAMA MINIMALISTA VS. GRAMTICAS BASEADAS ...

smbolo (SUBJ, TENSE, PRED, NUM). Um valor pode ser um smbolo,

ou uma forma semntica (um smbolo complexo entre aspas simples),
ou ainda outra estrutura-f. No exemplo considerado, o atributo PRED
da sentena o verbo live, ao qual se associa o atributo TENSE (trao
de tempo), cujo valor presente. Os atributos expressos pelas funes
SUBJ e OBLloc tambm tm sua estrutura interna representada em
termos de uma matriz atributo-valor, conforme indica a notao de
colchetes utilizada.
importante observar que a atribuio do nome funcional
estrutura-f se deve no apenas ao fato de esta conter funes gramaticais, mas tambm pelo sentido matemtico do termo funo, j que, de
acordo com a Condio de Unicidade que atua sobre estruturas-f, todo
atributo deve ter um nico valor.
Alm da Condio de Unicidade, duas outras condies gerais determinam a boa-formao das estruturas-f: a Condio de Completude e a de
Coerncia. Essas duas condies se aplicam aps a estrutura-f ter sido
construda e asseguram que todas as funes gramaticais requeridas por
um predicado (e apenas elas) estejam presentes na estrutura-f da sentena.
A estrutura-c codifica a forma sinttica superficial da sentena,
incluindo informao de natureza categorial, ordem de palavras e estrutura de constituintes. A estrutura da sentena representada por
meio de rvores, em geral utilizando-se a notao da Teoria X-barra, e
gerada por regras de estrutura frasal. importante observar, contudo,
que, diferentemente de P&P, as representaes da estrutura-c so sempre geradas na base; no, h, pois, movimentos sintticos e vestgios.
Uma distino importante em relao teoria gerativa
chomskyana que nem todos os sintagmas so endocntricos. Alm
desse tipo de sintagma, a LFG assume uma categoria frasal exocntrica
S para representar certas relaes sintticas particularmente em lnguas cuja ordem de palavras bem livre e a morfologia rica.
Na LFG, um princpio de Economia de Expresso requer que sejam eliminados da estrutura-c constituintes sintticos desnecessrios.
Esse princpio limita fortemente o emprego de categorias vazias na
estrutura-c, distanciando a LFG da proposta de Princpios e Parmetros.

140

matraga, rio de janeiro, v.16, n.24, jan./jun. 2009

rica dos S. Rodrigues, Marina R. A. Augusto

4.1.2 Mapeamento entre estrutura-c e estrutura-f

As correspondncias entre estrutura-c e estrutura-f se fazem por
meio de equaes funcionais. Cada n da rvore sinttica marcado
com uma varivel que permite estabelecer uma correspondncia com
matrizes atributo-valor da estrutura-f. A ttulo de exemplificao, reproduzimos de Falk (2001, p. 66) a estrutura-c e a estrutura-f da sentena The hamster will give a falafel to the dinossaur:

Figura 2: estrutura-c e estrutura f

Um conjunto de todas as equaes funcionais, chamado de descrio-f, permite o mapeamento entre a estrutura-c e a estrutura-f.
Vejamos algumas das equaes funcionais que compem a descrio-f
da sentena acima.
matraga, rio de janeiro, v.16, n.24, jan./jun. 2009

141

MODELOS FORMAIS DE GRAMTICA: O PROGRAMA MINIMALISTA VS. GRAMTICAS BASEADAS ...

(f1SUBJ) = f2
f1= f7
f9= f10
(f10 PRED)= give < (f10 SUBJ) (f10 OBJ) (f10 OBLGoalOBJ)>

A equao funcional (f1SUBJ)=f2 indica que o sujeito da sentena corresponde ao constituinte marcado com a varivel f2 o DPf2; f1=
f7 indica que os constituintes marcados com essas variveis, respectivamente, o IP e o I possuem a mesma estrutura-f. A equao f9= f10
indica que o ncleo do VP o V cuja estrutura de predicao dada
pela funo (f10 PRED)= give < (f10 SUBJ) (f10 OBJ) (f10 OBLGoalOBJ)>.2
As equaes funcionais representam relaes locais e podem ser
expressas por meio de metavariveis de dois tipos: ? e ?. A seta ?
usada para o n filho e a seta ? para o n me. A figura abaixo,
reproduzida de Falk (2001, p.69) ilustra esses tipos de relaes:

Figura 3: Metavariveis

Operaes de unificao permitem verificar compatibilidade de

traos e funes dos elementos da sentena. Esse mecanismo, associado ao formalismo das equaes funcionais, facilita a implementao
computacional do modelo.

5. Head-Driven Phrase Structure Grammar

A HPSG, desenvolvida na dcada de 80 por Carl Pollard e Ivan
Sag, descrita por Kim (2000, p.7) como a non-derivational, constraintbased, surface oriented grammatical architecture, cujo objetivo construir uma teoria do conhecimento mental que permite a um falante
fazer uso de uma lngua natural. Nesse ltimo aspecto, sua aproximao com a teoria gerativa clssica explcita. Por outro lado, a opo
por uma arquitetura representacional, no derivacional, do tipo
uniestrato, a afasta das propostas chomskyanas, seja pelo fato de a
P&P ter adotado, inicialmente, uma arquitetura de vrios nveis
representacionais, seja pelo fato de que o arcabouo mais recente, o
142

matraga, rio de janeiro, v.16, n.24, jan./jun. 2009

rica dos S. Rodrigues, Marina R. A. Augusto

Minimalismo, adota uma verso derivacional. Uma consequncia da

opo por uma representao unificada, qual se aplicam restries
declarativas, torna a idia de transformaes ou operaes como Move
prescindveis. Outra caracterstica da HPSG que se trata de um modelo lexicalista, em sua verso mais forte, uma vez que lana mo de um
lxico altamente rico e complexo em suas representaes. A nfase
colocada na preciso matemtica a habilita como modelo formal para
implementaes computacionais, embora seu objetivo principal seja o da
adequao descritiva, isto , o de prover descries sintticas precisas.
A HPSG tem mostrado uma abrangncia considervel, constituindo-se em um campo de notvel atividade. H vrias compilaes
bibliogrficas devotadas a HPSG disponveis on-line a partir de diferentes universidades. reas de aplicao como a aquisio de primeira
e segunda lnguas e a implementao computacional tm sido objeto
de interesse para a HPSG.3

5.1 Arquitetura formal: principais caractersticas

Conforme j mencionado, a HPSG um modelo baseado em restries de cunho fortemente lexicalista. Nesse sentido, tem-se um conjunto de restries, que, conforme salientam Levine & Meurers (2006),
consistem em: (i) um lxico que licencia as palavras, (ii) regras lexicais
que governam a formao de palavras derivadas, (iii) esquemas de
dominncia imediata que licenciam a estrutura de constituintes, (iv)
definies de precedncia linear que restringem a ordem de constituintes, e (v) um conjunto de princpios gramaticais que expressam generalizaes sobre objetos lingusticos. Essas informaes so UNIFICADAS
na gerao dos objetos lingusticos particulares.

5.1.1. Matrizes atributo-valor (Attribute-Value

Matrix - AVM)
Uma AVM caracteriza uma palavra do lxico fornecendo informao acerca do tipo de objeto: palavra ou sintagma, alm de informaes acerca das caractersticas fonolgicas, sintticas e semnticas referentes ao item lexical. A seguir, encontra-se a AVM simplificada do
verbo pr:

matraga, rio de janeiro, v.16, n.24, jan./jun. 2009

143

MODELOS FORMAIS DE GRAMTICA: O PROGRAMA MINIMALISTA VS. GRAMTICAS BASEADAS ...

Figura 4: Matriz atributo-valor

A primeira informao encontrada na AVM refere-se ao tipo de

objeto. Nesse caso, uma palavra. O atributo fonolgico, no desenvolvido aqui, especifica a representao fonolgica do item lexical. As
informaes sintticas e semnticas aparecem a seguir. A informao
sinttica indica a categoria qual o item lexical pertence - neste caso,
trata-se de um ncleo verbal e indica informaes a serem compartilhadas entre o ncleo e a categoria mais alta com a qual este se combinar em uma estrutura maior. O trao VALNCIA especifica as selees
sintticas requeridas, enquanto sob CONTEDO informaes semnticas
e papis temticos envolvidos so especificados. Os nmeros em caixas
denominados tags indicam que certo tipo de informao compartilhada, idntica, ou seja, os valores especificados so os mesmos.

5.1.2. Traos e princpios gramaticais

A HPSG um modelo eminentemente composicional, ou seja,
estruturas mais complexas so formadas levando-se em conta requerimentos expressos nas AVMs e princpios gramaticais de formao de
estruturas de constituintes do tipo Teoria X-barra. O Princpio de
Dominncia Imediata apresenta os esquemas para a relao Ncleo/
Complemento e Ncleo/Especificador. Alm desses, alguns esquemas
so assumidos, como Ncleo/Adjunto, Ncleo/Filler, Ncleo/Marker. O
Princpio da Valncia determina que os requerimentos de um ncleo
lexical sejam identificados com os valores synsem de ns-filhos, sendo
que os requerimentos no satisfeitos devem ser passados para o nme em uma relao local.
144

matraga, rio de janeiro, v.16, n.24, jan./jun. 2009

rica dos S. Rodrigues, Marina R. A. Augusto

O exemplo a seguir, retirado de Levine & Meurers (2006), apresenta

o esquema arbreo de uma sentena simples: John put a book on the table.

Figura 5: Estrutura arbrea da HPSG

A AVM plenamente desenvolvida, que aparece nesse exemplo,

a do ncleo verbal put (confira Figura 4), que se combina com a book e
on the table, satisfazendo suas exigncias de complementos, conforme
as tags 5 e 6, identificadas com 2 e 3, permitem verificar. No nvel
hierrquico seguinte, a necessidade de um argumento externo satisfeita, sob a tag 4, permitindo que, ento, todas as exigncias do ncleo
apaream zeradas < > no nvel hierrquico mais alto.
Outra caracterstica da HPSG a viso no-transformacional para
tratar de dependncias de longa distncia, capturadas nos modelos
gerativistas clssicos por meio da noo de movimento. Adota-se um
trao especfico denominado SLASH ou GAP, o qual indica que um
argumento no est ocupando a posio de complemento esperada. O
exemplo a seguir, retirado de Carnie (2002), apresenta uma sentena
relativa: o objeto do verbo saw uma lacuna, sendo que essa informao percola para a sentena, sendo ento satisfeita pela presena do
sintagma nominal the boy:

matraga, rio de janeiro, v.16, n.24, jan./jun. 2009

145

MODELOS FORMAIS DE GRAMTICA: O PROGRAMA MINIMALISTA VS. GRAMTICAS BASEADAS ...

Figura 6: O trao slash/gap

A matriz fonolgica de um gap vazia e suas propriedades so

identificadas com o elemento antecedente.

6. Consideraes finais: comparaes entre

Minimalismo, LFG e HPSG
Como visto neste captulo, os modelos formais apresentados, embora partam de uma concepo semelhante de lngua como sistema
cognitivo, diferenciam-se no que tange ao formalismo adotado,
crucialmente quanto ao design da arquitetura da gramtica assumido. A
LFG e a HPSG so modelos representacionais; j o Minimalismo optou
por uma concepo derivacional fraca. Essa diferena tem implicaes
em termos da abrangncia dessas propostas tericas, fazendo com que os
modelos no-derivacionais da LFG e da HPSG, de orientao lexicalista,
estabeleam uma forte aproximao com as cincias da computao. Ao
assumirem um modelo matemtico de funes para a caracterizao das
estruturas da lngua, essas propostas tm se apresentado como modelos
plausveis para implementaes computacionais. J o modelo formal
gerativista, o Minimalismo, dada sua natureza derivacional e a incorporao de questes de ordem conceitual na prpria concepo do modelo,
tem apontado para dilogos promissores com modelos de processamento.
O fato de o Minimalismo ser um modelo derivacional permite que a prpria caracterizao da derivao sinttica seja tomada, dadas as adaptaes necessrias, como proximamente equivalente formulao e ao parsing
de enunciados lingusticos em modelos de processamento on-line. 4
Outra diferena importante entre as propostas a relevncia da
informao codificada no lxico, a qual, quanto mais explcita, mais se
mostra acessvel para a implementao computacional. A LFG e a HPSG
so modelos de carter fortemente lexicalista. No Minimalismo, embora
146

matraga, rio de janeiro, v.16, n.24, jan./jun. 2009

rica dos S. Rodrigues, Marina R. A. Augusto

o lxico venha assumindo um papel cada vez mais importante, o

sistema computacional o responsvel pela gerao das sentenas da
lngua. A caracterizao no Minimalismo das entradas lexicais em termos de traos o aproxima, no entanto, da LFG e da HPSG, que operam
com matrizes de atributos e valores.
A LFG e a HPSG tambm se distinguem do Minimalismo ao se
colocarem como modelos no transformacionais. O Minimalismo, por
sua vez, est atrelado a uma tradio transformacional que marcou o
incio do gerativismo. No entanto, medida que a preocupao com o
poder irrestrito das transformaes foi se delineando, constantes restries sua atuao foram se incorporando. Na atual verso minimalista,
a operao Move tem sido reinterpretada como Merge Interno, que consiste na concatenao, em uma determinada posio hierrquica, de
uma cpia de um elemento j presente na derivao.
Um ponto de aproximao parcial entre os modelos reside no
procedimento de compatibilizao de traos de elementos sintaticamente relacionados. Na LFG e na HPSG, faz-se uso de uma operao de
unificao de traos, que permite verificar a compatibilidade de informao gramatical partilhada por elementos distintos. Nos primeiros
desenvolvimentos do Programa Minimalista, um mecanismo similar foi
adotado a checagem de traos. A partir de 1998, o mecanismo de
checagem foi substitudo pelo de valorao.
parte os mecanismos formais adotados, a proposta gerativista
tem se destacado nos estudos acerca da aquisio da linguagem, embora, como foi mencionado, existam vrios trabalhos em HPSG sobre
aquisio de primeira e de segunda lngua. Com o Minimalismo, o problema da aquisio da linguagem pode ser retomado de uma forma que
se apresenta como bastante produtiva, na medida em que a idia de
identificao dos valores dos parmetros pode ser repensada em termos
de como a criana, a partir da identificao de informao lingustica
disponvel nas interfaces, realiza o acionamento das operaes do sistema computacional lingustico universal (CORRA & AUGUSTO, a sair).
A comparao entre os modelos permite verificar que, embora
haja distines formais entre os mecanismos adotados, uma srie de
convergncias pode ser verificada. A abrangncia com que cada modelo venha a responder a questes empricas de adequao descritiva e
explanatria possivelmente decidir se estamos realmente frente a um
modelo plausvel do conhecimento lingustico humano.
matraga, rio de janeiro, v.16, n.24, jan./jun. 2009

147

MODELOS FORMAIS DE GRAMTICA: O PROGRAMA MINIMALISTA VS. GRAMTICAS BASEADAS ...

Recebido em 05/03/09
Aprovado em 03/04/09

ABSTRACT
This paper aims at briefly presenting the main tendencies
associated with the most productive formal models of grammar
currently under scrutiny: the Minimalist Program, a recent version
of generative linguistics; Lexical Functional Grammar; and HeadDriven Phrase Structure Grammar. A basic picture of the main
concerns of these formal models of language emerges from the
comparison and contrast between their main objectives, the formal mechanisms they adopt and the kind of research tendency
each model represents.
KEY WORDS: formal models, Minimalism, LFG, HPSG

REFERNCIAS
BRESNAN, J. Lexical-functional syntax. Oxford: Blackwell, 2001.
CARNIE, A. Syntax: a generative introduction. 1 ed. Oxford: Blackwell, 2002.
CHOMSKY, N. Of minds and language. Biolinguistics, v.1, p. 9-27, 2007.
CORRA, L. M. S.; AUGUSTO, M. R. A . Fatores determinantes de custo de
processamento e suas implicaes para a aquisio da linguagem. Revista Estudos da Lngua(gem). A sair.
CORRA, L. M. S.; AUGUSTO, M. R. A. Computao lingustica no processamento
on-line: solues formais para a incorporao de uma derivao minimalista
em modelos de processamento. Cadernos de Estudos Lingusticos, v. 49, p.
167-183, 2007.
DALRYMPLE, M. Lexical functional grammar. In: BROWN, K. (ed.) Encyclopedia
of language and linguistics. 2 ed. Oxford: Elsevier, 2006.
FALK, Y. N. Lexical-functional grammar: an introduction to parallel constraintbased syntax. Stanford, CA: CSLI Publications, 2001.

148

matraga, rio de janeiro, v.16, n.24, jan./jun. 2009

rica dos S. Rodrigues, Marina R. A. Augusto

HAUSER, M., CHOMSKY, N., & FITCH, W. T. The language faculty: what is it,
who has it, and how did it evolve? Science, v. 298, p. 15691579, 2002.
KAPLAN, R. M.; DALRYMPLE, M.; MAXWELL, J. T.; ZAENEN, A. (eds.) Formal
issues in lexical-functional grammar. Stanford, CA: CSLI Publications, 1995.
KAPLAN, R. M.; BRESNAN, J. Lexical-functional grammar: a formal system
for grammatical representation. In: KAPLAN, R. et al. (ed.). Formal issues
in lexical-functional grammar. Stanford, CA: CSLI Publications, 1995.
(originalmente publicado em BRESNAN, J. (ed.) The mental representation of
grammatical relations. Cambridge, MA: The MIT Press, 1982, p. 173-281)
KIM, J. The grammar of negation: a constraint-based approach. Stanford: CSLI
Publications, 2000.
LEVINE, R.; MEURERS, W. D. Head-driven phrase structure grammar: linguistic
approach, formal foundations, and computational realization. In: BROWN, K.
(ed.). Encyclopedia of language and linguistics. 2 ed. Oxford: Elsevier, 2006.
PHILLIPS, C. Order and structure. Tese de doutorado, MIT, 1996.

NOTAS
1

A Bare Phrase Structure elimina os rtulos do tipo DP, CP da estrutura hierrquica ao assumir que h, na verdade, a projeo da matriz do ncleo
selecionador.
2
Para a lista completa das equaes funcionais da sentena exemplificada, ver
Falk (2001, p. 67).
3

Ver http://hpsg.stanford.edu/hpsg-l/1996/0018.html;http://www.ling.ohio
state.edu/research/hpsg; http://www.sfu.ca/~dmellow/HPSGBibliography.html.
4

Cumpre mencionar que alguns construtos da LFG se fazem visveis em propostas de processamento, como no modelo de produo de Levelt (1989) e de
Bock & Levelt (1994).

matraga, rio de janeiro, v.16, n.24, jan./jun. 2009

149