nab#
Info#
Full Name |
nab |
Direct download |
Graph Statistics#
Num Nodes |
Num Edges |
|---|---|
3444 |
7982 |
Edges Statistics#
Edge Label |
Num Edge Label |
|---|---|
\(a\) |
1963 |
\(abar\) |
1963 |
\(d\) |
836 |
\(dbar\) |
836 |
\(f_i\) |
1192 |
\(fbar_i\) |
1192 |
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}\]
M -> d V d
V -> A V A | f_i V f_i | M | epsilon
A -> a M? | epsilon
A -> M? a | epsilon