"Backus-Naur form" Deutsche bedeutung