Number-conserving cellular automata I: decidability

  • Authors:
  • Bruno Durand;Enrico Formenti;Zsuzsanna Róka

  • Affiliations:
  • Laboratoire d'Informatique Fondamentale de Marseille (LIF), 39 rue Joliot-Curie, 13453 Marseille Cedex 13, France;Laboratoire d'Informatique Fondamentale de Marseille (LIF), 39 rue Joliot-Curie, 13453 Marseille Cedex 13, France;Laboratoire d'Informatique Théorique et Appliquée (LITA), I.U.T. de Metz, Île du Saulcy, 57045 Metz Cedex 01, France

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2003

Quantified Score

Hi-index 5.23

Visualization

Abstract

We consider the class USk of uniformly k-sparse simple graphs, i.e., the class of finite or countable simple graphs, every finite subgraph of which has a number of edges bounded by k times the number of vertices. We prove ...