E' sempre possibile realizzare una macchina astratta
per traduzione su un altra macchina astratta.
Puo' sorgere qualche problema quando la memoria della macchina
astratta che conterra' i programmi tradotti e' molto piccola,
come nel caso del control store, che e' la memoria programmi
della realizzazione fisica di Mic-1. In un caso come questo
solo programmi IJVM molto piccoli potrebbero venire tradotti.