vm.fail
Alpha equivalence checker for arbitrary lambda terms
1{
2 "name": "modulo",
3 "rankdir": "LR",
4 "start": "r0",
5 "accepting": ["r0"],
6 "states": [
7 {"id": "r0", "label": "r₀", "accepting": true},
8 {"id": "r1", "label": "r₁"},
9 {"id": "r2", "label": "r₂"},
10 {"id": "r3", "label": "r₃"},
11 {"id": "r4", "label": "r₄"}
12 ],
13 "transitions": [
14 {"from": "r0", "to": "r0", "label": "0"},
15 {"from": "r0", "to": "r1", "label": "1"},
16 {"from": "r1", "to": "r2", "label": "0"},
17 {"from": "r1", "to": "r3", "label": "1"},
18 {"from": "r2", "to": "r4", "label": "0"},
19 {"from": "r2", "to": "r0", "label": "1"},
20 {"from": "r3", "to": "r1", "label": "0"},
21 {"from": "r3", "to": "r2", "label": "1"},
22 {"from": "r4", "to": "r3", "label": "0"},
23 {"from": "r4", "to": "r4", "label": "1"}
24 ]
25}