Contribuição para uma teoria formal de sistemas de produção Teses