added content: Turing machines