macchina formaleloc.s.f. TS inform. sistema che costituisce un modello del comportamento di dispositivi automatici reali o realizzabili Correzioni e suggerimenti Condividi Twitter Facebook Email