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...
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 |
Similar Items
-
On recursion
by: Watumull, Jeffrey, et al.
Published: (2014) -
Pipelined recursive filter : the recursive greedy way of design
by: Ong, Van Vinh
Published: (2015) -
Prosody and recursion
by: Wagner, Michael, Ph. D. Massachusetts Institute of Technology
Published: (2006) -
Primitive Recursion
by: Levin, Michael
Published: (2004) -
Recursive interlocking puzzles
by: Song, Peng., et al.
Published: (2013)