Program menurut fast2armc.sf.net

Program fast2armc menerjemahkan kode sumber dari model automata counter untuk alat FAST(er) ke sintaks prolog ARMC.