Talk:PlanetPhysics/Category of Automata