The switch statement in C language has the following format.

switch(expression) {

case constant-expression:

statement(s);

break; /* optional */

/* you can have any number of case statements */

default: /* optional */

statements(s);

}

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

specifies the switch statement abstraction specifies an expression,

specifies a constant-expression,

specifies a list of statements.

specifies a list of statements

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

-----------------------------------------------------------------------------------------------------

would what I have so far be correct?

switch () {{case : [break]} [default: ] }