1. Draw a state diagram to recognize binary literals in Java, which are defined by the following EBNF rules: BinaryNumeral: 0 b BinaryDigits 0 B BinaryDigits BinaryDigits: BinaryDigit BinaryDigit BinaryDigitsAndUnderscoresopt BinaryDigit BinaryDigit: one o ryDigitsAndUndersco BinaryDigitOrUnderscore BinaryDigitsAndUnderscores BinaryDigitOrUnderscore Binares: Binary DigitOrUnderscore BinaryDigit Use as few states as possible. States that are legal ending points for binary literal:s should be drawn as double circles. To save space, omit the "addchar; getchar;" labels and "return" actions shown in the in-class and book diagrams