The first variable in cnf must be starting symbol in grammar_to_cnf result - Githubissues

FormalLanguageConstrainedPathQuerying / CFPQ_Data

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

https://formallanguageconstrainedpathquerying.github.io/CFPQ_Data/

Other

10 stars 15 forks source link

The first variable in cnf must be starting symbol in grammar_to_cnf result #18

Closed vadyushkins closed 4 years ago

vadyushkins commented 4 years ago

@azaat был прав