Исправления в примере 8.2.1

- матрицы сделаны блочными
- к картинке обхода графа добавлена картинка для автомата
- fbox используется теперь только в math mode
- явно указана операция умножения между векторами и матрицами
- в картинки с последним шагом обхода добавлен зеленый цвет для выделения результата

Author: bahbyega