4 ms·
Statebox is a bijection between code and visual diagrams (petri nets)
by openfuture 8y ago
Statebox is a bijection between code and visual diagrams (petri nets)
- wires 8y ago:rock: exactly, every picture represents an "equivalence class" of expressions (or code). I say equivalence class, because the picture represents many formulas: by topologically distorting the picture you get different code. however, they all behave in the same way. 2+3 = 1+4 = 5