Sistemi Discreti con Dinamica Indecidibile Marco Giunti Marco Giunti Università di Cagliari [email protected].