If you read this, you should probably also read this very recently blog post[1] by Neil Mitchell.

http://neilmitchell.blogspot.com/2020/11/turing-incomplete-l...