Math and science::Theory of Computation
Language and Turing machine visualization
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.