Question: Which programming language has very short context-free Grammar in its formal specification?