Здравствуйте, Кузнец, Вы писали:

К>Такое впечатление, что не все переходы по автомату надо учитывать...
Да, переходы надо учитывать не все. Можно это место так поправить: для каждой нетерминальной вершины v из [1..V]
Ну и проверить, что нужно писать B[g(v, s)] += A[v] а не наоборот B[v] += A[g(v, s)]