Ero sivun ”Abstrakti kone” versioiden välillä
| [katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
p wl |
Ei muokkausyhteenvetoa |
||
Rivi 1:
{{Viitteetön}}
'''Abstrakti kone''', myös '''abstrakti tietokone''', on teoreettinen malli tietokoneesta, sen laitteistosta tai ohjelmistosta, jota sovelletaan automaattien teoriassa. Laskentaprosessin abstrahointia käytetään sekä tietojenkäsittelytieteessä että tietokoneiden suunnitteluprosesseissa. Se edellyttää usein diskreettiä ajan käsittelyä eli
[[Laskennan teoria]]ssa abstrakteja koneita käytetään usein ajatuksellisina kokeina arvioimaan laskettavuutta tai analysoimaan algortimien kompleksisuutta ([[Kompleksisuusteoria]]).
Tyypillinen abstrakti kone sisältää määritelmän tulotiedoille ja lähtötiedoille sekä joukon sallittavia operaatioita, joita käyttäen tulotiedot muuttuvat lähtötiedoiksi. Tunnetuin esimerkki siitä on [[Turingin kone]].
Monimutkaisemmista lähtökohdista käsin on mahdollista luoda abstrakteja koneita, joilla on täydellinen [[käskysarja]], joukko [[Rekisteri (tietokonetekniikka)|rekistereitä]] sekä [[Muisti (tietokone)|muisti]]. Eräs suosittu abstrakti kone, joka muistuttaa moderneja tietokoneita on [[abstrakti RAM kone]], joka tarjoaa suoran pääsyn indeksoituihin muistipaikkoihin. Myös sellaisia abstrakteja koneita, joilla on valmiuksia käyttää [[välimuisti|välimuisteja]] (
Abstrakti kone voi myös viitata [[mikroprosessori]]in, jota ollaan suunnittelemassa tai jota muuten ei vielä ole laitteistona tarjolla. Abstraktia konetta, joka toteutetaan ohjelmistosimulaationa, tai jossa käytetään tulkkia, kutsutaan myös [[virtuaalikone]]eksi.
| |||