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
-
Is Word-Level Recursion Actually Recursion?
by: Taylor L. Miller, et al.
Published: (2021-05-01) -
Recursiveness /
by: 430157 Eilenberg, Samuel
Published: (1970) -
On recursion
by: Watumull, Jeffrey, et al.
Published: (2014) -
Recursion and Spreadsheets
by: John Baker, et al. -
A Recursive Inclusion Checker for Recursively Defined Subtypes
by: Hans De Nivelle
Published: (2021-12-01)