A simple loop in Ada has the following form:

 loop ; ; ... ; end loop; 

That is, it begins with the word loop, contains one or more statements (each followed by a semicolon), and ends with the words end loop. There must be at least one statement inside the loop.

a) Write a set of Extended Backus-Naur Form (EBNF) grammar rules that describe Ada simple loops. You may assume that has already been defined elsewhere.

b) Write a syntax diagram (syntax graph) that describes Ada simple loops. You may assume that has already been defined elsewhere.