Странности в примере 8.2.1

[TimPushkin]

К примеру 8.2.1 есть следующие вопросы:

1. Из текста непонятно, как строилось булево представление автомата, почему оно транспонировано относительно "стандартного" представления, в то время как представление графа -- не транспонировано?
   
   Далее в тексте говорится, что матрицы графа и автомата должны строиться одинаково:
   
2. В умножении, которое находится после разложения фронта-вектора на фронт-матрицу, матрица D_0_A указана неверно, на подчеркнутых местах должны быть нули:

[gsvgit]

Эти косяки поправил. Но там ещё много странного. Буду разгребать.

[TimPushkin]

Ещё матрицы из первого пункта issue нужно подправить в блоках больших матриц, которые содержат их прямую сумму (например, те, что на скриншоте во втором пункте issue, там и результат, соответственно, будет другой).