Talk:S-attributed grammar