incluindo diagrama da execução do PDA