Question

A simple loop in Ada has the following form:
loop
<statement>;
<statement>;
...
<statement>;
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 <statement> has already been defined elsewhere.

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