Grammar generators#

See also

Pyformlang CFG

c_alias_grammar(*[, assigment_labels, ...])

Returns a C Alias grammar that generates a language for the flow-insensitive alias analysis of C programs [R44f470043b6d-1].

dyck_grammar(types, *[, eps, start_symbol])

Returns a Dyck grammar that generates a Dyck language [Rc3935e31b9ae-1] of the balanced strings with parentheses of given types.

java_points_to_grammar(fields, *[, start_symbol])

Returns a Java Points-to grammar that generates a language for the field-sensitive analysis of Java programs [R82f7dd547c6d-1] with given fields labels.

java_points_to_grammar_from_graph(graph, *)

Returns a Java Points-to grammar that generates a language for the field-sensitive analysis of Java programs [Rf167a64ba2f6-1] with fields corresponding to the load and store edge labels of the given graph.

nested_parentheses_grammar(types, *[, eps, ...])

Returns a Nested Parentheses grammar that generates a language of the strings with nested parentheses of given types.