Turing-vahva
Laskettavuuden teoriassa esitetään useita toisiaan lähellä olevia termejä, jotka kuvaavat minkä tahansa tietokonejärjestelmän eli laskennallisen järjestelmän suorittamisen rajoja. Erilaisia tarkasteltavia järjestelmiä ovat muun muassa abstraktit koneet, virtuaalikoneet ja ohjelmointikielet. Määritelmiä:Turing-vahvuus (Turing-powerful)
Järjestelmä, joka voi "laskea" eli suorittaa minkä tahansa Turing-laskettavan funktion kutsutaan Turing-vahvaksi.Turing-täydellisyys (Turing-complete)
Järjestelmä on Turing-täydellinen, jos järjestelmä voi simuloida universaalia Turingin konetta.Turing-yhteensopivuus
Turing-vahvaa järjestelmää kutsutaan Turing-yhteensopivaksi jos jokainen funktio, jonka se voi suorittaa, on myös Turing-vahva. Toisin sanoen, se laskee täsmälleen kaikki saman luokan funktiot, jotka Turing-konekin tekee. Vastaavasti Turing-yhteensopiva kone on sellainen, joka voi simuloida universaalia Turingin konetta tai jota universaali Turing-kone voi simuloida. Laskennan perusväittämässä, ns. Churchin–Turingin teesissä, on esitetty, että kaikki tunnetut Turing-vahvat järjestelmät ovat myös Turing-yhteensopivia.Laskennallinen universaalius
Järjestelmän sanotaan olevan universaali tiettyyn järjestelmien muodostamaan ryhmään nähden, jos se voi suorittaa jokaisen näiden järjestelmien funktion.
- Komputaatio
- Komputaatio on yleinen informaation käsittelyä kuvaava termi. Se sisältää siten laajan alueen inhimillisestä ajattelusta kapea-alaiseen laskentaan. Sanalla komputaatio korostetaan hyvin määritellyn mallin suorituksen seuraamista ja sitä, kuinka
- Symbolin maadoittamisen ongelma
- Symbolin maadoittamisen ongelma tarkoittaa alkujaan sitä, kuinka sanat (symbolit) saavat merkityksensä ja mikä tarkoitus kullakin symbolilla todellisuudessa on
- Ohjelmistoatomi
- Ohjelmistoatomi on käsite, artefakti, joka kuvaa formaalien rakenteiden käsittelyä ja tulkintaa tietokoneessa.
Ohjelmistoatomin sisäisenä määrittelynä toimii pelkästään yksi atomistinen kaava. Sen takia ohjelmistoatomeista syntyvä malli on
- Atomistinen kaava
- Atomistinen sääntö eli atomistinen kaava on matemaattisessa logiikassa käytetty erikoistapaus kaavasta, jolla ei ole syvempiä sisärakenteita. Sitä kutsutaan lyhyesti myös atomiksi. Atomistisessa kaavassa ei siis ole alakaavoja sisällään. Atomit
- Systeemitiede
- Systeemitiede on tieteidenvälinen aihe, opinala, joka tutkii systeemien ymmärtämistä – yksinkertaisista kompleksisiin asti – kohteenaan luonto, yhteiskunta, kognitio, tekniikka, teknologia ja tiede. Ala on monipuolinen, ja eri sen näkökulmat
- Dynaaminen analyysi
- Dynaaminen analyysi on tietokoneohjelmien analysointia suorittamalla ohjelmia todellisessa tai virtuaalisessa prosessorissa.
Jotta dynaaminen analyysi voisi onnistua riittävän hyvin, tarvitaan riittävät testitiedot ja tulotiedot, jotta voidaan tuottaa
- Systeemien teoria
- Systeemien teoria on poikkitieteellistä järjestelmien tutkimusta tavoitteena löytää sellaisia periaatteita, joita voidaan soveltaa kaikentyyppisten systeemien käsittelyyn eri tutkimusaloilla. Termillä ei ole vielä täysin vakiintunutta merkitystä
- Vianetsintä
- Vianetsintä on ongelman ratkaisun eräs muoto. Se on systemaattista hakua tarkoituksena saada ratkaistua itse ongelma.
Vianetsintä on usein eliminointiprosessi, jossa eliminoidaan potentiaalisia aiheuttajia. Vianetsintää käytetään lukuisilla
- Lähdekoodin analysointi
- Lähdekoodin analysointi tarkoittaa ohjelmakoodin tutkimista ihmisen suorittamana tai automaattisesti työkalulla
- Rally Zlín
- Rally Zlín on Tšekissä Zlínissä ajettava rallikilpailu. Kilpailu on järjestetty ensimmäisen kerran vuonna 1971.
Rallin kilpailupaikka on noin 300 kilometriä etelään pääkaupungista Prahasta. Kilpailun sponsori on rengasvalmistaja Barum, jonka