FormalLanguageConstrainedPathQuerying

Collection of materials on formal language constrained path querying: algorithms, lecture notes, dataset

Algorithms

CFPQ_PyAlgo -- a collection of linear algebra based algoriths for formal language constrained path querying.
UCFS -- GLL-based universal context-free solver.

CFPQ_PyAlgo CFPQ_PyAlgo Public

The collection of Context-Free Path Querying algorithms

Python 14 12
CFPQ_Data CFPQ_Data Public

Graphs and grammars for Context-Free Path Querying algorithms evaluation.

Python 10 15
FormalLanguageConstrainedReachability-LectureNotes FormalLanguageConstrainedReachability-LectureNotes Public

Материалы по достижимости с ограничениями в терминах формальных языков

TeX 4 10
formal-lang-course formal-lang-course Public

Курс по формальным языкам: шаблон для домашних работ + материалы

Python 7 160
UCFS UCFS Public

Forked from vadyushkins/kotgll

Universal GLL-based Context-Free solver

Kotlin 2 8
CFPQ_JavaGraphMiner CFPQ_JavaGraphMiner Public

Java graph miner and dataset for CFL-reachability-based analyses

Kotlin