Sachverzeichnis

A

abs, 255

ACHSE, 251

ADD, 348

ADD1, 350

Adresse, 341

akzeptierende Berechnung, 424 akzeptierender Zustand, 421 akzeptierte Sprache, 425 Algorithmus, 319, 338 Alphabet, 391 Anfangszustand, 421 Ankathete, 240

arccos, 243 arcsin, 243 arctan, 243 Arcuscosinus, 243 Arcussinus, 243 Arcustangens, 243

arithmetischer Ausdruck, 97

ASINUS, 244 Assembler, 340, 343

AUGE, 151 Automat, 420

Automatisierung, 319 Axiome, 270

B

backward, 21

Band, 415

BAUM, 228

BAUM4, 234 Befehlswort, 20 Begriffsbildung, 269 Berechnung, 424

Berechnungskomplexität, 127 Beschreibungskomplexität, 124 bk, 21

BLATT, 107

BLATT1, 106

BLU1, 108

BLUMEN, 107

BLUMEN3, 110 Buchstaben, 391

C

central processing unit, 342 cos, 241

Cosinus, 241 CPU, 342 cs, 21

D

Dämonen, 318 definieren, 270

deterministischer endlicher Automat, 420 direkter Beweis, 278

DIV, 348

508

DREI90, 198

DREIECKHA, 242

DREIECKSSS, 200 DRFLA, 250 durchführbar, 343

E

ECK6, 120

ECK6L100, 87

Effizienz, 127 Eingabealphabet, 420 Eingabeband, 415 Eingaben, 149 Eingabewerte, 149 end, 60

END, 353 Endkonfiguration, 423 endlicher Automat, 420

ENTF, 254 Entscheidungsproblem, 402 erreichbar, 425

EWIG, 209

EWIG1, 210 Exorciser, 481

F

FAK, 186

FAK1, 187 Fakultät, 186 Farbtabelle, 79 fd, 20

FE100, 72

FELD, 97

FELD1M10Q20, 62

FELDABREC, 226 FELDREC, 215 FELDREC1, 236 FELDREC2, 236

Sachverzeichnis

FELDZEILE, 126

FETT100, 64

FIB, 191 Fibonacci-Zahl, 191 Flussdiagramm, 334 Folgerung, 274 forward, 19

FUN1, 189

G

Gödel, Kurt, 320 Gauß(n), 467 Gegenkathete, 240 gemeinsamer Teiler, 286 GGT, 286

globale Parameter, 115 globale Variable, 160 goto l, 414

größter gemeinsamer Teiler, 286 Grundbausteine, 270

H

Halten, 359 Hauptprogramm, 67 Hilbert, David, 318 home, 197 Hypotenuse, 240

I

if, 173, 181 Implikation, 277 impliziert, 274

indirekte Adressierung, 373 indirekte Methode, 295 indirekter Beweis, 294 Induktionsbeweis, 466 Instruktion, 342, 343 irrationale Zahlen, 299

Sachverzeichnis

J

JGTZ j, 353

JUMP j, 353

JZERO j, 353

K

Körper, 43, 60 kartesisches Produkt, 402 Klammerfolge, 223

Klasse der regulären Sprachen, 426

KLASSE1, 174 Komplexität, 322 Konfiguration, 423

Konfiguration eines Rechnermodells, 422 Konkatenation, 398

KONSRECHTTR, 198

Kontrollvariable, 214

KOOR, 252

KR, 159

KREIS1, 80

KREIS2, 119

KREIS3, 80

KREISE, 101

KREISE4, 102

KREISMITT, 196

KREISRAD, 196

KREISREC, 222

KREISSPIR, 236

KREISSPIR1, 236

KURZFELD, 137

L

Länge eines Programms, 124 Länge eines Wortes, 393 Lösungsmethoden, 318 leeres Wort, 392

left, 25 LEITER, 96

509

Lesekopf, 415

LINGL, 180

LINGL1, 181 LOAD1 j, 374 LOAD1, 346 LOAD1 =i, 347 LOAD2, 347 LOAD2 =j, 347 lokale Parameter, 115 lokale Variable, 160 lt, 25

M

make, 141 Maschinencode, 343 Methode, 318 Modul, 475 modular, 59

modulare Entwurfsmethode, 475 modulare Entwurfstechnik, 475 Module, 59

MULT, 348

MUS1, 103

MUS2, 104

MUS3, 104

MUST1, 81

MUST3, 80

MUSTER, 137

N

NADEL, 171

NULLSTELLE, 208

O

Operation, 343

optimieren (Programmlänge), 123

510

P

PARAL, 101 PARALLEL, 200 Parameter, 20, 90 Parametername, 90 Parameternamen, 109 pd, 52

pe, 29 pendown, 52 penerase, 29 penpaint, 30 penup, 52 PFLANZE, 171 PLANET, 250 ppt, 30

pr, 165 Präfix, 400 Primzahl, 286 print, 165

Problemfälle, 338 Probleminstanzen, 338 Programm, 19, 340, 415 Programmieren, 340 Programmiersprache, 19 Programmlänge, 124 Programmname, 60 Programmparameter, 90 pu, 52

PUNKT, 252 PUNKTLIN, 207

PYR, 114

Q

QQQ, 131

QU4, 121

QUAD100, 60

QUAD20, 62

QUAD40, 72

Sachverzeichnis

QUADMETH, 176

QUADMETH1, 178

QUADRAT, 91

QUADRATW, 191

Quadratwurzel, 148

QUADRKR, 181

QWHILE, 185

R

R(i), 342 Radiergummimodus, 29

RE2ZU1, 148

READ, 343

REC2, 116 Rechnerbefehl, 19

RECHT, 97

RECHT1, 202 reflexiv, 403 REG(1), 343 REG(2), 343

REGELSCH, 157

Register, 92, 341

Register(0), 342

Register(i), 342 Registermaschine, 340 regulär, 426 Rekursion, 209 rekursiv, 209 Relation, 403

repeat, 39 right, 23

S

Satz des Pythagoras, 198

SCHACH4, 67

SCHACH8, 73

Schlüsselwort, 20

Schleife, 43, 334

Sachverzeichnis

SCHNECKE, 156

SCHNELLTR, 137 Schritt, 423

SCHW100, 65

SCHWDR, 170

SECHS, 101 setpencolor, 80 Simulation, 476 sin, 241

Sinus, 241

SORTQ, 192

SORTQ1, 193 Speicher, 92, 340 Speicherinhalte, 113 Speicherplatz, 91 Speicherzellen, 340

SPIR, 153

SPIR6, 157

SPIRBED, 183

SPIREND, 185

SPIRIN, 185

SPIRINF, 211

SPIRREC, 213

SPIRRECHTREC, 214 SPIRT, 167 Sprache, 401

sqrt, 148 SSSTEST, 207 STAR2, 227 STARREC, 226

Startkonfiguration, 423 Stiftmodus, 29

stop, 176 STORE, 344 STORE i, 374 Strahlensätze, 239

STRECKE, 255

STRECKE0, 256

511

SUB, 348

SUB1, 351

Suffix, 400 SWS, 206 Symbole, 391

symmetrisch, 403 systematisch, 59

T

T1, 144

T2, 144

T3, 145

Tabelle für die Entwicklung der Speicherinhalte, 113

tan, 241 Tangens, 241

TEIL, 131

Teiler, 286 Teilwort, 399

Teilwort, echtes, 399

TEST3, 167

TEST4, 168

THALES, 207

Tiefe eines Programmaufrufs, 216 to, 60

transitiv, 404

TREPP, 127

U

Übergangsfunktion, 420, 421 Unterprogramm, 67

UU, 136

V

Variable, 141

VE5, 121

VEKTORADD, 257

Verkettung, 398

512

VERS, 87 verschachtelt, 216

verwerfende Berechnung, 425 Verzweigung, 177 Verzweigungsstruktur, 177

VIELDR, 155

VIELECK, 94

VIELQ, 142

VIELQ1, 155

VIELQ2, 169

VIELQ3, 169

W

WACHSE10, 170 Wahrheitstabelle, 275 wait, 210

Sachverzeichnis

Wandermodus, 52 while, 185 Wort, 392 WRITE =j, 352 WRITE i, 351 WRITE1, 352

WURFEL, 203

Z

Zeichen, 391

ZEILEB, 66

ZEILEA, 66

Zeit(P), 130

ZICK1, 136

Zustand, 420