Marcelo Finger Alan Barzilay
Linguagem é um fenômeno humano
Difere em natureza dos fenômenos naturais
estudados pela Física, Química e Biologia.
Ciências Humanas, em geral, não possuem tratamento matemático
Modelos não-numéricos ou quantitativos
Morfologia e Sintaxe: Linguagens Formais e Autômatos
Sintaxe: Gramáticas Formais e Lógica Categórica
Semântica: Lógica Categórica
Grande complexidade computacional
Muita matemática precisou ser "inventada" para o desenvolvimento da Linguística.
A palavra é unidade básica na análise da frase.
A cada palavra é atribuída uma categoria morfo-sintática (classe gramatical)
Exemplos:
Categoria | Conhecida como | Abreviação |
---|---|---|
Determinante | Artigo | D |
Nome | Substantivo | N |
Verbo Transitivo | -- | VT |
Representação usual:
Por exemplo, temos o seguinte léxico:
Categorias se combinam para gerar novas categorias.
Exemplos:
Regras gramaticais + Léxico
Árvore (de derivação) sintática
S
SN SV
VT SN
D N D N
O vilão beijou a mocinha
Perguntas duais:
A saída de um reconhecedor é:
Ambiguidade sintática: mais de uma árvore associada
Dada a sentença:
Eu vi o menino com o telescópio
e a gramática:
eu vi o menino com o telescópio
D N
D N P SN
SN SP
PRO VT SN
SN SV
S
Sentido: o menino estava carregando o telescópio
SN SP
eu vi o menino com o telescópio
D N D N
VT SN P SN
PRO
SN SV
S
Sentido: eu usei o telescópio para ver o menino
SV SP
Gramática | Tipo | Complexidade |
---|---|---|
Genéricas | 0 | Não computável |
Sensíveis a Contexto | 1 | Intratável |
Livre de Contexto | 2 | Tratável |
(Linguagens) Regulares | 3 | Eficiente |
Introduction to Formal Languages, G. E. Révész, 1983. Dover Publications (1991)