DI-PUCRJ

S?rie: Monografias do Departamento de Inform?tica

MCC 24/94

An?lise e Implementa??o da Teoria Formal

de

Reconhecimento de Planos

Jos? Helano Matos Nogueira

Jos? Jesus Perez Alcazar

Ant?nio Luz Furtado

Departamento de Inform?tica

Pontif?cia Universidade Cat?lica do Rio de Janeiro

Rio de Janeiro, Julho - 1994