Small fixes in Readme.

Author: gsvgit

README.md

@@ -4,16 +4,16 @@
 [![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
 
 Указанные выше англоязычные термины полезны для того, чтобы найти больше информации по теме.
 
-Так как текст во многом основан на опыте авторов, работающих в данной области, то он неизбежно будет меняться, вместе с изменением понимания предмета у авторов. 
+Так как текст во многом основан на опыте исследовательской группы, работающей в данной области, то он неизбежно будет меняться, вместе с изменением понимания предмета у авторов.
 
-Полезен данный текст может быть, как кажется авторам, в нескольких перечисленных ниже случаях.
+Полезен данный текст может быть, как кажется, в нескольких перечисленных ниже случаях.
 - Если хочется получить представление о задаче поиска путей с ограничениями в терминах формальных языков и об основных подходах к её решению.
 - Если вы занимаетесь изучением теории формальных языков или алгоритмов синтаксического анализа и хотите увидеть больше применений этих областей на практике.
 - Если вы преподаёте теорию формальных языков и хотите рассказать о её приложениях, отличающихся от анализа естественных языков или языков программирования.
@@ -42,4 +42,5 @@ make
 - Внести свой вклад в развитие проекта можно сдлеав fork и открыв pull request.
 
 ## Лицензия
+
 Данный текст опубликован под лицензией [Creative Commons Attribution Share Alike 4.0 International](https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes/blob/main/LICENSE.txt).