Grundlagen der Informatik I “Programmierung”
Grundlagen der Informatik I “Programmierung” Grundlagen der Informatik I “Programmierung”
Da 1215 ist wird die erste Anweisung in der Schleife durchgeführt. Der Befehlszähler wird auf 2 gesetzt. Der Speicher bleibt unverändert. nächster Befehl: 2 Speicher m 12 n 15 t ? Die Auswertung der Anweisung 2 bedeutet die Auswertung von der Bedingung m>n mit den aktuellen Speicherwerten. Diese ergibt falsch, daher wird der Befehlszähler auf die else-Anweisung 4 gesetzt. nächster Befehl: 4 Speicher m 12 n 15 t ? Bei der Auswertung von 4 wird der Vergleich m
1.2.4 Maschinennahe Sprachen Maschinennahe Sprachen erlauben eine bessere Nutzung der Möglichkeiten eines Rechners. Maschinennahe Sprachen, die die Möglichkeiten eines Rechnerstyps X voll zur Verfügung stellen, nennt man Assembler des Rechnertyps X. Der besseren Nutzung steht der Nachteil gegenüber, daß nur die Instruktionen des Rechners X als Bausteine eines Programms zur Verfügung stehen. Das bedeutet, daß man die Speicherstruktur bis ins Detail kennen und sich auf den stark reduzierten Satz von Kontrollstrukturen und Wertzuweisungen beschränken muß. Ein Wechsel von einem Assemblerprogramm des Rechnertyps X auf einen Rechnertyp Y ist nicht möglich. Die Assemblerprogramme sind nicht portabel. In Assemblersprachen gibt es i.a. keine Schleife, und in der Fallunterscheidung gibt es nur den Vergleich mit einer speziellen Variablen “Condition Code”. Die Vergleiche müssen als Wertzuweisungen an diese Variable cc (in Pascalnotation cc:= mn; 6 if cc then goto Marke1; 7 r:= m; 8 cc:=r
- Seite 1 und 2: Grundlagen der Informatik I “Prog
- Seite 3 und 4: Inhaltsverzeichnis 1 Einführung 1
- Seite 5 und 6: 3.7.1 Zusicherungen . . . . . . . .
- Seite 7 und 8: Abbildungsverzeichnis 2.1 Syntax de
- Seite 9: 4.9 Verifikationsregeln und Prädik
- Seite 12 und 13: edeutet wiederum, exakte Prognosen
- Seite 14 und 15: Stoff betrifft, so werden Sie eine
- Seite 16 und 17: ilden die Grundlage zum Erwerb des
- Seite 18 und 19: Komplexität 1. A.. V. Aho, E. Hopc
- Seite 20 und 21: ser Zweig der Informatik beschäfti
- Seite 22 und 23: 5. Kompatibilität ist ein Maß daf
- Seite 24 und 25: ∀a ∈IN. teilt(a,a) ∧ teilt(a,
- Seite 26 und 27: durchgeführt werden, sofern man ni
- Seite 28 und 29: 1.2.2.3 Diskussion Bei der deskript
- Seite 32 und 33: Rahmen zu weit führen. Auffällig
- Seite 34 und 35: Durch das Konzept des Übersetzers
- Seite 36 und 37: und “örtlich” durch Zerlegung
- Seite 38 und 39: 1.3.4 Prozeduralisierung Das Beispi
- Seite 40 und 41: Man könnte das Objektkonzept von d
- Seite 43 und 44: Kapitel 2 Logik und formale Sprachb
- Seite 45 und 46: 2.1 Formale Sprachbeschreibungen Di
- Seite 47 und 48: möglichen Alternativen auf der rec
- Seite 49 und 50: Wenn wir eine Menge von Sprachen be
- Seite 51 und 52: Da wir im folgenden den Begriff der
- Seite 53 und 54: Für die Zuordnung zwischen der Obj
- Seite 55 und 56: Diese Form der Definition findet ih
- Seite 57 und 58: K1: Kommutativ-Gesetz E1 ∧E2 ≡
- Seite 59 und 60: Axiomenschemata: L1 A ∨ ¬A L2 (A
- Seite 61 und 62: In dem Kapitel über die Programmve
- Seite 63 und 64: 2. Es werden Quantoren eingeführt,
- Seite 65 und 66: s (T, state) = wahr s (F, state) =
- Seite 67 und 68: • x ist gebunden in p(t1, ..., tn
- Seite 69 und 70: Der Wert einer Aussage mit mehreren
- Seite 71 und 72: Wichtig ist, daß die Auswahl des W
- Seite 73 und 74: Wir geben hier eine Funktion an, di
- Seite 75: wichtigste formale Sprache zur Besc
- Seite 78 und 79: Wir wollen jedoch deutlich darauf h
Da 1215 ist wird die erste Anweisung in <strong>der</strong> Schleife durchgeführt. Der Befehlszähler wird auf 2 gesetzt.<br />
Der Speicher bleibt unverän<strong>der</strong>t.<br />
nächster Befehl: 2<br />
Speicher<br />
m 12<br />
n 15<br />
t ?<br />
Die Auswertung <strong>der</strong> Anweisung 2 bedeutet die Auswertung von <strong>der</strong> Bedingung m>n mit den aktuellen Speicherwerten.<br />
Diese ergibt falsch, daher wird <strong>der</strong> Befehlszähler auf die else-Anweisung 4 gesetzt.<br />
nächster Befehl: 4<br />
Speicher<br />
m 12<br />
n 15<br />
t ?<br />
Bei <strong>der</strong> Auswertung von 4 wird <strong>der</strong> Vergleich m