What is derivation in compiler design