Fully Automatic P of Naga Machines