Added backus naur notation for visualization purposes