|
4 | 4 | [](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/actions/workflows/main.yml) |
5 | 5 | [](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/blob/master/LICENSE.txt) |
6 | 6 |
|
7 | | -Данный текст есть попытка изложить основные идеи и результаты в такой области, как поиск путей (или достижимость) с ограничениями в терминах формальных языков. Наиболее чато встречающиеся частные случаи данной задачи, с которыми достаточно легко встретиться в литературе, следующие. |
| 7 | +Данный текст есть попытка изложить основные идеи и результаты в такой области, как поиск путей (или достижимость) с ограничениями в терминах формальных языков. Наиболее часто встречающиеся частные случаи данной задачи, с которыми достаточно легко встретиться в литературе, следующие. |
8 | 8 | - Поиск путей с регулярными ограничениями, Regular Path Querying, RPQ. |
9 | 9 | - Поиск путей с контекстно-свободными ограничениями, Context-Free Path Querying, CFPQ. |
10 | 10 | - Достижимость с контекстно-свободными ограничениями, Context-Free Language Reachability, CFL-r. |
|
20 | 20 |
|
21 | 21 | ## Скачать pdf |
22 | 22 |
|
23 | | -* Текущую версию можно найти в [артифактах сборки](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/actions/runs/1004758399). |
| 23 | +* Текущую версию можно найти в [артефактах сборки](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/actions/runs/1004758399). |
24 | 24 | * Официальные "издания" можно найти в [релизах](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/releases). |
25 | 25 |
|
26 | 26 | ## Собрать из исходников |
|
0 commit comments