specifies the switch statement abstraction

specifies an expression,

specifies a constant-expression,

specifies a list of statements.

switch, case, break, default: keywords in C.

Write an Extended Backus Naur Form (EBNF) description for a switch statement, using the following non-terminals < >.

Explain and show each step carefully.

Below is the switch statement in C

switch(expression) {

case constant-expression:

statement(s);

break; /* optional */

/* It is possible to have any number of case statements */

default: /* optional */

statements(s);

}