In the puzzles, jumps are allowed on both lines, but they can’t overlap. At the final rabbit-sequence doodle at the end of the game, they allow jumps on every line and they can be bracket nested so and [()] is…

one domain is computability, which studies what can be computed, and how in a rather abstract sense: largely what is described in Suresh Venkat’s answer. another is algorithmics, that finds effective means to compute answers to specific problems, with specific…