FormalLanguageConstrainedPathQuerying / FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes
Странности в примере 8.2.1
- Ngôn ngữ chính
- TeX
- Star
- 6
- Fork
- 12
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
К примеру 8.2.1 есть следующие вопросы:
1. Из текста непонятно, как строилось булево представление автомата, почему оно транспонировано относительно "стандартного" представления, в то время как представление графа -- не транспонировано?
Далее в тексте говорится, что матрицы графа и автомата должны строиться одинаково:
2. В умножении, которое находится после разложения фронта-вектора на фронт-матрицу, матрица `D_0_A` указана неверно, на подчеркнутых местах должны быть нули:
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Đánh giá
Issue này chưa được đánh giá.