Technique utilisée pour décomposer les niveaux de jeu en composants logiques afin de prouver leur complexité.
Les recherches menées par le MIT révèlent que certains niveaux de Super Mario sont indécidables, plaçant le jeu dans une classe de complexité extrême. Cette découverte soulève des questions sur les limites de la calculabilité et offre des opportunités pour des applications en robotique et modélisation chimique.
