Readme is improved

Author: gsvgit

README.md

@@ -1,5 +1,30 @@
-# Материалы по достижимости с ограничениями в терминах формальных языков
+# О достижимости с ограничениями в терминах формальных языков
 
 [![JB Research](https://jb.gg/badges/research-flat-square.svg)](https://research.jetbrains.org/)
 [![Ubuntu](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/actions/workflows/main.yml/badge.svg?branch=main)](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/actions/workflows/main.yml)
 [![License](https://img.shields.io/badge/license-CC--BY--SA--4.0-orange)](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/blob/master/LICENSE.txt)
+
+Данный текст -- есть попытка изложить основные идеи и результаты в такой области, как поиск путей (или достижимость) с ограничениями в терминах формальных языков. Наиболее чато встречающиеся частные случаи данной задачи, с которыми достаточно легко втретиться в литературе:
+- Поиск путей с регулярными ограничениями, Regular Path Querying, RPQ
+- Поиск путей с контекстно-свободными ограничениями, Context-Free Path Querying, CFPQ
+- Достижимость с контекстно-свободными ограничениями, Context-Free Language Reachability, CFL-r
+
+Указанные выше англоязычные термины полезны для того, чтобы найти больше информации по теме.
+
+Так как текст во многом основан на опыте авторов, работающих в данной области, то он неизбежно будет меняться, вместе с изменением понимания предмета у авторов. 
+
+Полезен данный текст может быть, как кажется авторам, в нескольких перечисленных ниже случаях.
+- Если хочется получить представление о задаче поиска путей с ограничениями в терминах формальных языков и об основных подходах к её решению.
+- Если вы занимаетесь изучением теории формальных языков или алгоритмов синтаксического анализа и хотите увидеть больше применений этих областей на практике.
+- Если вы преподаёте теорию формальных языков и хотите рассказать о её приложениях, отличающихся от анализа естественных языков или языков программирования.
+
+
+## Скачать pdf
+
+* Текущую версию можно найти в [артифактах сборки](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/actions/runs/1004758399)
+* Официальные "издания" можно найти в [релизах](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/releases)
+
+## Задать вопрос
+- Задать вопрос, высказать пожелания или предложения можно в [разделе для дискуссий](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/discussions).
+- Сообщить о неточностях, ошибках в тексте, технических проблемах с компиляцией pdf из исходников можно [заведя issue](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/issues).
+- Внести свой вклад в развитие проекта можно сдлеав fork и открыв pull request.