BNN>данный путь решения не приемлем с практической точки зрения, я бы сказал он "академический",
BNN>даже несложному выражению будет соответствовать конечный автомат с огромным числом состояний, для вычисления которого требуется ресурсы...

сами по себе автоматы не такие и большие. Непрактично большим, действительно, является их произведение, но его не обязательно строить явно, достаточно держать в памяти его сомножители.