Recursed is not recursive: A jarring result

Recursed is a 2D puzzle platform video game featuring “treasure chests” that, when jumped into, instantiate a room that can later be exited (similar to function calls), optionally generating a “jar” that returns back to that room (similar to continuations). We prove that Recursed is RE-complete and...

Full description

Bibliographic Details
Main Authors: Demaine, ED, Kopinsky, J, Lynch, J
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:English
Published: 2022
Online Access:https://hdl.handle.net/1721.1/143961