Ir al contenido

Documat


Resumen de Abelian networks II: halting on all inputs

Benjamin Bond, Lionel Levine

  • 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.


Fundación Dialnet

Mi Documat