Backus normal form