3 ms·
Author here. In Backus's paper, the next-state function accepts a (state, input) tuple and returns a (state, output) tuple.
by aappleby 4y ago
Author here. In Backus's paper, the next-state function accepts a (state, input) tuple and returns a (state, output) tuple.