Keywords – Church-Turing thesis