Vedi testi.
Si che e' possibile definire macchine astratte non imperative.
La nostra definizione di MA si basa sul modello computazionele di Turing.
E' possibile definire MA basate su altri modelli computazioneli.