Algoritmusok és absztrakt automaták

TARTALOM Előszó 7 Bevezetés 9 Algoritmusok 15 Numerikus algoritmusok 16 Játékok algoritmusokkal 20 Algoritmusok, labirintusbeli út keresése 29 A szóprobléma 36 Automatikus vezérlésű számítógépek 48 Program (gépi algoritmus) 53 Turing-gépek 61 Az algoritmus-fogalom pontosabbá tételének szükségessége 62 A Turing-gép 69 Algoritmus megvalósítása Turing-gépen (Turing-kiszámítás) 77 Programozó algoritmusok 89 Rekurzív függvények és Turing-kiszámítható függvények 99 A külső tár változatai 119 Az algoritmuselmélet alaphipotézisei 126 Algoritmus problémák 131 Univerzális Turing-gép 132 Algoritmikusan megoldhatatlan problémák 138 A szó-ekvivalencia problémára nincs megoldó algoritmus 144 Algoritmusok és számítási eljárások hatékonysága 152 Turing-kiszámítási folyamatok nyomai 159 A bonyolultság alsó becslései 163 Teszőlegesen bonyolult problémák létezése 167 Neumann-automaták 172 Egy lövészekről szóló feladat 183 A Neumann- és Turing-eljárások összehasonlítása 190 Befejezés 201