Любой знает о хорошем.Net Chess Engine

Я не слишком тщательно изучил ваш код, но вот мое впечатление:

Ваш анализатор проверяет, что первая группа символов, которую он видит, образует правильную формулу, а затем останавливается. Если после этого появляется мусор, это не имеет значения, ваш парсер все еще счастлив, потому что нашел правильную формулу.

Я вижу два способа справиться с этим в вашей грамматике:

• Требовать, чтобы формула заканчивалась каким-то метасимволом «конец потока»

• [ 118] Добавить новое правило, соответствующее последовательности формул. Например,

<document> ::= <formula> |
               <formula> <document>

(Конечно, это левая рекурсия, но вы сможете решить ее без особых проблем.)

Также:

} else if (proposition(sym)) {
    nextSym();
}

Мне кажется подозрительным, что эта ветка ничего не возвращает.