border=0

Elke algoritme kin definieare wurde troch middel fan in turingfunksjonele diagram en ynfierd yn 'e oerienkommende Turing-masine.

Dizze hypoteze hjit de Turingteesje. Lykas de tsjerke fan de tsjerke kin it net bewiisd wurde, om't it in los definieare definysje fan in algoritme is mei in strikte definysje fan in Turing-masine.

Yn prinsipe kin dizze hypoteze wjerlein wurde as wy in foarbyld jaan kinne foar in algoritme dy't net ynfierd wurde kin mei it funksjoneel fan Turing. Al dy al bekende algoritmen kinne lykwols definieare wurde troch middel fan funksje fan Turing.

Sjoch ek:

Haadstik 4. Fertsjintwurdiging en ferwurkjen fan getallen yn in komputer

Eigenskippen fan opslachapparaten

Utjefte fan it kodierprobleem, Shannon's earste teorem

Fergeliking fan algoritmyske modellen

Foarbyld 3.2.

Gean werom nei Tafel Ynhâld: Teoretyske Stiftingen fan Computer Science

2019 @ edudocs.fun