leela#

Info#

Full Name

leela

Direct download

.tar.gz

Graph Statistics#

Num Nodes

Num Edges

8090

19888

Edges Statistics#

Edge Label

Num Edge Label

\(a\)

3782

\(abar\)

3782

\(d\)

2306

\(dbar\)

2306

\(f_i\)

3856

\(fbar_i\)

3856

Canonical Grammar#

Productions with index \(i\) are duplicated for each field number from the analyzed program classes. The start nonterminal is \(V\).

\[\begin{split}M \, \rightarrow \, d \, V \, d \, \\ V \, \rightarrow \, A \, V \, A \mid f_i \, V \, f_i \mid M \mid \varepsilon \, \\ A \, \rightarrow \, a \, M? \mid \varepsilon \, \\ A \, \rightarrow \, M? \, a \mid \varepsilon \, \\\end{split}\]

Pyformlang RSA:

M -> d V d
V -> A V A | f_i V f_i | M | epsilon
A -> a M? | epsilon
A -> M? a | epsilon