vm.fail
Alpha equivalence checker for arbitrary lambda terms
1digraph "parity" {
2 rankdir="LR";
3 graph [pad="0.25", nodesep="0.7", ranksep="0.9"];
4 node [shape=circle, fontname="Times New Roman", fontsize=16];
5 edge [fontname="Times New Roman", fontsize=14, arrowsize=0.8];
6 "__start" [shape=point, label="", width=0.08];
7 "start" [label="start", shape="circle"];
8 "even_0" [label="even / 0", shape="doublecircle"];
9 "even_1" [label="even / 1", shape="circle"];
10 "odd_0" [label="odd / 0", shape="circle"];
11 "odd_1" [label="odd / 1", shape="circle"];
12 "__start" -> "start" [label="input"];
13 "start" -> "even_0" [label="0"];
14 "start" -> "odd_1" [label="1"];
15 "even_0" -> "even_0" [label="0"];
16 "even_0" -> "odd_1" [label="1"];
17 "even_1" -> "even_0" [label="0"];
18 "even_1" -> "odd_1" [label="1"];
19 "odd_0" -> "odd_0" [label="0"];
20 "odd_0" -> "even_1" [label="1"];
21 "odd_1" -> "odd_0" [label="0"];
22 "odd_1" -> "even_1" [label="1"];
23}