Clique no link PI7-2 Linguagens formais 2013.ppt para ver o arquivo.