Informatik (Fach) / Strukturiertes Programmieren (Lektion)
In dieser Lektion befinden sich 17 Karteikarten
Uni Jena Prof E.G. S-T.
Diese Lektion wurde von freeze erstellt.
- Was ist Synthax? Formale Grammatik Satzbildungsregeln
- Was is Semantik Interpreatationsfunktion bzw. Was bewirkt der Synthax
- Synthaktische Fragestellungen? Lexikalisch korrekt? (Rechtschreibfehler) Satzbau korrekt? Langfristige abhängigkeit (Der Hund ... bellten.)
- Semantische Fragestellungen? Hat der Ausdruck eine Bedeutung? Macht diese Sinn? Löst das das Problem?
- Was ist Sprache bzw Grammatik? Sprache = n-faches kart. Produkt der Menge der Wörter. Grammatik = nach Regeln bestimmte Teilmenge der Sprache
- Was ist die erweiterte Backus-Naur-Form? Welche Symbole gibt es? Ein Standard zur kompakten Beschreibung von Prog-Sprachen. X|Y X oder Y {X} entweder X oder nichts X+ X* X ein- oder mehrmal (kein-, ein- oder mehrmal) [X Y] Zusammenfassung von X
- Formale Semantiken von Programmiersprachen. Übersetzersemantik (Beschreibung durch alte Sprachen) Operationale S. (Beschreibung auf Maschinenmodell (UTM)) Denotationale S. (Beschreibung mit Math. Zustandsmodell) Axiomatische S. (Beschreibung mit Vor und Nachbedingung)
- Was interpretiert der Compiler? Ausdrücke (Expr.) besitzen einen Wert. I: Term --> Wert Anweisungen (Statements) I: Bezeichner --> Werteänderung
- Wie kann man Ausdrücke notieren? Mathematisch (infix) x2 +x -2 Programmiertechnisch x * x + x -2 Präfix: oben links rechts Postfix:links rechts oben
- Was ist eine Signatur, wodurch wird sie charakterisiert. Eine Signatur ist eine Abbildung von einem Funktionssymbol auf seine Funktionalität. Diese wird charakterisiert durch -Stelligkeit -Argumentsorte -Resultatsorte
- Terminierungsbeweis Gewichtsfunktion g:Zustand-->N sollte mit jedem Schritt abnehmen
- Definition Algorithmus präzise (Eindeutige Sprache) endlich effektiv (tatsächlich ausführbar) |Ein Plan an Verarbeitungsschritten|
- Bäume? Kantorovic-Bäume zur Auswertung von Grundtermen Hasse-Bäume zur Auswertung von Termen mit Variablen
- Arten von Programmiersprachen deklarativ: z.B. logisch (Prolog) imperativ: z.B. objektorientiert (C++), Maschinensprachen (Assambler)
- Imperative Programmierung Speicherzellen nehmen Werte aufZustandskonzept Programm = Folge von AnweisungenAusfuhrung um ihrer Wirkung willen Zuweisungen ä̈ndern Inhalte von SpeicherzellenZustandsübergang Ausfuhrung einer Folge von AnweisungenSequenzialität Prozedur als organisatorische Einheitbündelt Anweisungsfolgen
- deklarative Programmierung Programm = Ansammlung von AusdrückenErgebnis ist der berechnete Wert Ausdrücke beschreiben mathematische Wertebeziehungen Maschinenmodell ohne Zustandskonzept Keine Reihenfolge (on Demand)
-
- Von-Neumann-Architektur Rechnerkern mit Register Arbeitsspeicher Peripheriegeräte sind über BUS verbunden Daten und Programme werden an Speicher und Kern gesendet