De tests voor de turingmachine en barebones