GitHub repository: FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes
Primary language: TeX
Description: Материалы по достижимости с ограничениями в терминах формальных языков