Readme is improved.

Author: gsvgit

README.md

@@ -4,7 +4,7 @@
 [![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
@@ -18,13 +18,30 @@
 - Если вы занимаетесь изучением теории формальных языков или алгоритмов синтаксического анализа и хотите увидеть больше применений этих областей на практике.
 - Если вы преподаёте теорию формальных языков и хотите рассказать о её приложениях, отличающихся от анализа естественных языков или языков программирования.
 
-
 ## Скачать 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/actions/runs/1004758399).
+* Официальные "издания" можно найти в [релизах](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/releases).
+
+## Собрать из исходников
+
+Если вы решили что-то изменить в тексте или просто собрать pdf из исходников, то необходимо проделать следующие шаги.
+- Устанвить [TeX Live](https://tug.org/texlive/) или аналогичный дистрибутив.
+- Сделать клон репозитория.
+- Зайти в папку ```tex```
+- Выполнить следующие команды
+```
+pdflatex FormalLanguageConstrainedReachabilityLectureNotes.tex
+bibtex FormalLanguageConstrainedReachabilityLectureNotes.aux
+pdflatex FormalLanguageConstrainedReachabilityLectureNotes.tex
+```
+
 
 ## Задать вопрос
+
 - Задать вопрос, высказать пожелания или предложения можно в [разделе для дискуссий](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/discussions).
 - Сообщить о неточностях, ошибках в тексте, технических проблемах с компиляцией pdf из исходников можно [заведя issue](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/issues).
 - Внести свой вклад в развитие проекта можно сдлеав fork и открыв pull request.
+
+## Лицензия
+Данный текст опубликован под лицензией [Creative Commons Attribution Share Alike 4.0 International](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/blob/main/LICENSE.txt).