Будет ли анализатор знать, содержит ли входная строка неполный синтаксис?
Предположим, у нас есть следующий синтаксис BNF для входной строки:
<Directory> ::= <file><blank>
<file> ::= <alpha><alphanumeric {0..8}>
<blank> ::= 'b'
и я хочу проверить следующее условие: файл не имеет альфа со следующей входной строкой: "abc7eb".
Будет ли синтаксический анализатор (LL) различать, что "abc7e" принадлежит <alphanumeric>? и это <alpha> не существует в этой строке? или будет считать "а" как <alpha> и "bc7eb" как <alphanumeric>? если это так, как я могу сгенерировать тестовый вход для моего состояния?