Bulking I: An abstract theory of bulking

  • Authors:
  • M. Delorme;J. Mazoyer;N. Ollinger;G. Theyssier

  • Affiliations:
  • LIP, ENS Lyon, CNRS, 46 allée dItalie, 69 007 Lyon, France;LIP, ENS Lyon, CNRS, 46 allée dItalie, 69 007 Lyon, France;LIF, Aix-Marseille Université, CNRS, 39 rue Joliot-Curie, 13 013 Marseille, France;LAMA, Université de Savoie, CNRS, 73 376 Le Bourget-du-Lac Cedex, France

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2011

Quantified Score

Hi-index 5.23

Visualization

Abstract

This paper is the first part of a series of two papers dealing with bulking: a quasi-order on cellular automata comparing space-time diagrams up to some rescaling. Bulking is a generalization of grouping taking into account universality phenomena, giving rise to a maximal equivalence class. In the present paper, we discuss the proper components of grouping and study the most general extensions. We identify the most general space-time transforms and give an axiomatization of bulking quasi-order. Finally, we study some properties of intrinsically universal cellular automata obtained by comparing grouping to bulking.