Samuel
@samuel.fm
Luckily static analysis of the behaviour of Turing machines is famously quick and easy
5