• Keine Ergebnisse gefunden

2 J . . . K (ρ) vs. Fixpunktsemantik

N/A
N/A
Info
Herunterladen
Protected

Academic year: 2022

Aktie "2 J . . . K (ρ) vs. Fixpunktsemantik"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Jetzt herunterladen ( 1 Seite )

Volltext

(1)

Wolfgang Hönig WS 09/10

Übung Algorithmen und Datenstrukturen

Folie formale Sprachen (2)

1 Zusammenfassung

Syntaxdiagramm EBNF JαK(ρ) BNF

α1

α1 Jα1K(ρ) α1

α1

α2 α1α2 Jα1K(ρ) · Jα2K(ρ) α1α2

α1

ˆ{α1}ˆ (Jα1K(ρ))∗ A ::= α1A

A ::=

α1

α1ˆ{α1}ˆ Jα1K(ρ) · (Jα1K(ρ))∗ A ::= α1A

A ::= α1

α1

ˆ[α1ˆ] Jα1K(ρ) ∪ {} A ::= α1

A ::=

α1

α2

ˆ(α1ˆ|α2ˆ) Jα1K(ρ) ∪ Jα2K(ρ) A ::= α1

A ::= α2

2 J . . . K (ρ) vs. Fixpunktsemantik

J. . .K(ρ) Fixpunktsemantik anwendbar falls ρ bekannt immer

Terminierung nach endlich vie- len Schritten

Nie (bei Vermutung Ab- bruch und Beweis mög- lich)

Korrektheit kein Beweis nötig Induktionsbeweis nötig

Referenzen

Jetzt herunterladen ( PDF - 1 Seite - 98.51 KB )

ÄHNLICHE DOKUMENTE

Wie der Beweis der Vermutung von Baudet gefunden wurde

In jedem Block von fu¨nf aufeinanderfolgenden Zahlen muss ein Muster von der Art der Figur 1 vorkommen, denn unter den ersten drei Zahlen des Blockes muss es schon zwei geben,

U ¨ ber den Beweis der Fermat-Vermutung II

3.4 Numerisches Beispiel.. [7], Abschnitt 4.3), so folgt unmittelbar, dass die in Beispiel 2.4 konstruierten Galois-Darstellungen ρ E ,` und ρ E,` fu¨r jede Primzahl ` im Sinne

Beweis Korrektheit: Winkelz¨ ahler nicht positiv

Algorithmische Geometrie Motion Planning 29.06.15 c Elmar Langetepe SS ’15 1... Beweis Korrektheit: Winkelz¨ ahler

Formaler Beweis

Praktische Informatik 3: Funktionale Programmierung Vorlesung 9 vom 13.12.2016: Spezifikation und Beweis?.

Beweis für sin

[r]

Beweis der Bieberbachschen Vermutung

Gleichzeitig gehe ich auf eine gruppentheore- tische Interpretation gewisser im Beweis auftretender Funktionen ein, die eng mit der Theorie der sph¨ arischen Funktionen

Überwachungsstrategien zum Beweis der Abwesendheit

Calculate probability of freedom from infection during 1 year of monitoring a herd’s free status in both designs.. Introduction Objective Methods Results

Beweis des Satzes

Schreibe in ganz kurzen Worten auf, was die Beweisidee in diesem Beweis ist.. b) die Koordinaten des Punktes D so, dass ABCD ein Parallelogramm ist. c) die Koordinaten