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 [R8cee66f46f70-1].

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

Returns a Dyck grammar that generates a Dyck language [Re6f182b64250-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 [Re2b39d94e351-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 [Rc0f22b9ce21c-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.