Definição precisa de categorias sintáticas / domínios sintáticos na sintaxe abstrata
Li as partes introdutórias de alguns livros sobre semântica da linguagem de programação (Gordon, Winskel, Nielson & Nielson, Allison, Stump, Schmidt) e, embora compreenda o que eles querem dizer com categorias sintáticas ou domínios sintáticos , não entendi. não encontre uma definição rigorosa...