Given:
<digit>:=1|2|3|4|5|6|7|8|9|
<number>::=<digit><digit><number>
<letter> ::= a | b | c | ... | z
<special>::=-
<char>:=<digit>|<number>|<special>
<identifier> ::= <letter> | <char> | <letter><identifier>
Which of the following options describes a time stamp that includes a 2-digit hour (24-hour), minutes, and seconds in the pattern 00:00:00?
Option 1:
<4digit>:=1|2|3|4
<6digit>::=1|2|3|4|5|6
<hour> := 0<digit>|1<digit>|2<4digit>
<minute> ::= <6digit><digit>
<seconds> ::= <minute>
<time> ::= <hour>;<minute>;<seconds>
Option 2:
<4digit>:=0|1|2|3
<6digit> :=0|1|2|3|4|5
<hour>:=0<digit>|1<digit>|2<4digit>
<minute> ::= <6digit><digit>
<seconds> ::= <minute>
<time> ::= <hour><minute><seconds>
Option 3:
<hour>:=0<digit>|1<digit>|2<digit>
<minute> ::= <number>
<seconds> ::= <number>
<time>:=<hour>:<minute><seconds>