Can you describe in more detail what qualities exactly make something a Turing machine? Please use layman's terms