O mașină abstractă, numită și un computer abstract, este un model teoretic al unui sistem hardware sau software utilizat în teoria automatelor. Abstractizarea proceselor de calcul este folosită atât în domeniul informaticii, cât și în domeniul calculatoarelor și presupune, de obicei, o paradigmă de timp discret. [Informatică][Inginerie calculator][Paradigmă] |