Samuel
Luckily static analysis of the behaviour of Turing machines is famously quick and easy
5