title: Write an unambiguous Statement grammar that meets the following requirements:
body: <p>Write a “Statement” grammar that meets the following requirements:</p>
  
  <ul>
  <li>skip is a valid statement</li>
  <li>Assignment of the form <code>x := E</code> is a valid statement, where x is an identiﬁer and E is an
  arithmetic expression</li>
  <li>The composition of two statements S0 ; S1 is a valid statement</li>
  </ul>
  
  <p>I have the following solution, but am not sure if it is correct:</p>
  
  <pre><code>x:: E|skip|s0 E|s1 E
  </code></pre>