Comment by jacobolus
10 years ago
This link is the talk slides. There’s also a paper, which is probably a bit more useful if you aren’t listening to a presenter. http://www.cl.cam.ac.uk/~sd601/papers/semirings.pdf
10 years ago
This link is the talk slides. There’s also a paper, which is probably a bit more useful if you aren’t listening to a presenter. http://www.cl.cam.ac.uk/~sd601/papers/semirings.pdf
A lot more detailed indeed.
ps: also the author of `mov is Turing complete`.