Can you remember a visualisation that connects languages and Turing machines? It also includes the language representing the question of whether an arbitrary Turing machine accepts some input.