Abelian networks II: halting on all inputs

• Benjamin Bond ^[1] ; Lionel Levine ^[2]
  1. [1] Stanford University

     Stanford University

     Estados Unidos

     
  2. [2] Cornell University

     Cornell University

     City of Ithaca, Estados Unidos

     
• Localización: Selecta Mathematica, New Series, ISSN 1022-1824, Vol. 22, Nº. 1, 2016, págs. 319-340
• Idioma: inglés
• Enlaces
  • Texto completo
• Resumen

  • Abelian networks are systems of communicating automata satisfying a local commutativity condition. We show that a finite irreducible abelian network halts on all inputs if and only if all eigenvalues of its production matrix lie in the open unit disk.