|
1 | 1 | # О достижимости с ограничениями в терминах формальных языков
|
2 | 2 |
|
3 |
| -[](https://research.jetbrains.org/) |
4 |
| -[](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/actions/workflows/main.yml) |
5 |
| -[](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/blob/master/LICENSE.txt) |
| 3 | +[](https://github.com/FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes/actions/workflows/main.yml) |
| 4 | +[](https://github.com/FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes/blob/master/LICENSE.txt) |
6 | 5 |
|
7 | 6 | Данный текст есть попытка изложить основные идеи и результаты в такой области, как поиск путей (или достижимость) с ограничениями в терминах формальных языков. Наиболее часто встречающиеся частные случаи данной задачи, с которыми достаточно легко встретиться в литературе, следующие.
|
8 | 7 | - Поиск путей с регулярными ограничениями, Regular Path Querying, RPQ.
|
|
20 | 19 |
|
21 | 20 | ## Скачать pdf
|
22 | 21 |
|
23 |
| -* Текущую версию можно найти в [артефактах сборки](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/actions). |
24 |
| -* Официальные "издания" можно найти в [релизах](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/releases). |
| 22 | +* Текущую версию можно найти в [артефактах сборки](https://github.com/FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes/actions). |
| 23 | +* Официальные "издания" можно найти в [релизах](https://github.com/FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes/releases). |
25 | 24 |
|
26 | 25 | ## Собрать из исходников
|
27 | 26 |
|
|
37 | 36 |
|
38 | 37 | ## Задать вопрос
|
39 | 38 |
|
40 |
| -- Задать вопрос, высказать пожелания или предложения можно в [разделе для дискуссий](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/discussions). |
41 |
| -- Сообщить о неточностях, ошибках в тексте, технических проблемах с компиляцией pdf из исходников можно [заведя issue](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/issues). |
| 39 | +- Задать вопрос, высказать пожелания или предложения можно в [разделе для дискуссий](https://github.com/FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes/discussions). |
| 40 | +- Сообщить о неточностях, ошибках в тексте, технических проблемах с компиляцией pdf из исходников можно [заведя issue](https://github.com/FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes/issues). |
42 | 41 | - Внести свой вклад в развитие проекта можно сдлеав fork и открыв pull request.
|
43 | 42 |
|
44 | 43 | ## Лицензия
|
45 | 44 |
|
46 |
| -Данный текст опубликован под лицензией [Creative Commons Attribution Share Alike 4.0 International](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/blob/main/LICENSE.txt). |
| 45 | +Данный текст опубликован под лицензией [Creative Commons Attribution Share Alike 4.0 International](https://github.com/FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes/blob/main/LICENSE.txt). |
0 commit comments