效绵县 Derivations -Formalism We say aAβ=>oyβifA->y is a production. Example:S->01;S->0S1. Q>0>0O1. .11Derivations – Formalism ◼ We say A =>  if A ->  is a production. ◼ Example: S -> 01; S -> 0S1. ◼ S => 0S1 => 00S11 => 000111. 11