Augmented Backus-Naur form