(0) I --> U
(1) I --> Q
(2) U --> ID
(3) U --> T
(7) T --> ID LANGLE I RANGLE
(8) START --> I EOF EOF EOF EOF EOF
(10) [[N U ]] --> U COLONCOLON U
(11) Q --> [[N U ]]
(12) [[N U ]] --> U COLONCOLON [[N U ]]
26 reachable states
0) I --> U
(1) I --> Q
(2) U --> ID
(3) U --> T
(7) T --> ID LANGLE I RANGLE
(8) START --> I EOF EOF EOF EOF EOF
(9) [[N U ]] --> U COLONCOLON U
(11) Q --> [[N U ]]
(12) [[N U ]] --> U COLONCOLON [[N U ]]
24 states