Formale Methoden I - Universität Bielefeld

Weitere Magazine

Empfehlungen

Info

40 7. Wörter und Sprachen Welche wir wählen, hängt von uns ab. Und dann wählen wir natürlich diejenige, die uns am Besten vor Augen führt, wie f beschaffen ist. Deswegen können wir letztendlich auch noch ganz andere Darstellungsformen wählen, da es ja nur darauf ankommt, dass wir uns zweifelsfrei mitteilen. Eine andere Visualisierung ist wie folgt. Wir stellen uns ein langes Band mit Zellen vor, welche jeweils einen Buchstaben tragen. Die Zellen sind abgezählt, die erste trägt die Nummer 0, die zweite die Nummer 1, und so weiter. Und dann sieht f wie folgt aus. (62) a a b a c 0 1 2 3 4 Ist A⊆B, so ist jedes Wort über A auch ein Wort über B. Der Wertebereich, das heißt das Alphabet, ist also teilweise unerheblich. f ist immer dann ein Wort über A, wenn A schon das ganze Bild von f enthält. Es gibt ein ganz besonderes Wort, das leere Wort. Es ist die (eindeutig bestimmte) Funktionε : 0→A.εist das einzige Wort der Länge 0. (Es ist auch unabhängig vom Alphabet.) Wer die Definitionen aufmerksam liest, wird sehen, dassεidentisch mit der leeren Menge ist. Trotzdem verwenden wir das Symbol ε, um das leere Wort zu bezeichnen. Man beachte, dass es auf der Schreibmaschine auch noch die Leertaste gibt; wenn man diese drückt, erscheint kein Symbol, aber trotzdem rückt man im Text eine Stelle weiter. Im Computer hat allerdings das Leerzeichen einen Code, es wird behandelt wie ein Zeichen, das man sieht. Damit dies auch augenfällig wird, schreibt man gerne␣, um die Gegenwart des Leerzeichens zu signalisieren. Und so ist zum Beispielab␣hier eine Zeichenkette der Länge 7, welche aus zwei Worten besteht,ab undhier, getrennt durch ein Leerzeichen. Es gibt also zwei verschiedene Leerheiten, wenn man so will. Die erste ist das leere Wort, die zweite das Wort␣, welche eine Funktion f von 1 nach A ist (wobei␣∈A vorausgesetzt wird) mit f (0)=␣). Ich benutze Vektorpfeile (⃗x,⃗y usw.), um Wörter zu bezeichnen. Sind nun⃗x : m→A und⃗y : n→A über demselben Alphabet, so ist die Verkettung oder Hintereinanderschreibung⃗x·⃗y wie folgt definiert. Es ist⃗x·⃗y : m+n→A, und zwar ist ⎧ ⎪⎨ ⃗x(k) falls k
41 tut sie auf zwei verschiedene Weisen: ist k
Seite 1 und 2: Formale Methoden I Marcus Kracht Fa
Seite 3 und 4: 1 Bevor es losgeht Bevor ich mit de
Seite 5 und 6: 5 Eine Menge ist laut Georg Cantor
Seite 7 und 8: 7 Tabelle 1: Alle sechzehn Mengen,
Seite 9 und 10: 9 Abbildung 2: Mengen als Graphen I
Seite 11 und 12: • • • • • • • • 11
Seite 13 und 14: 13 das heißt, x erfüllt “ ∈ N
Seite 15 und 16: 15 Denn da kein Element in∅ist, i
Seite 17 und 18: 17 •℘({a, b)={∅,{a},{b},{a, b
Seite 19 und 20: • • • • • 19 Abbildung 7:
Seite 21 und 22: 21 Ich hebe noch einmal das kombina
Seite 23 und 24: 23 symmetrisch und transitiv, so he
Seite 25 und 26: 25 derart, dass für alle x∈A g(
Seite 27 und 28: 27 2+1=3, egal, ob wir 2 als natür
Seite 29 und 30: 29 Man schreibt in dem Fall, wo f
Seite 31 und 32: 31 Freundes meines Nachbarn”. Die
Seite 33 und 34: 33 zu zeigen, dassϕ(n+1) unter der
Seite 35 und 36: 35 Eine etwas effizientere Definiti
Seite 37 und 38: 37 Abbildung 9: Kardinalzahlen als
Seite 39: 39 Zeichen. Womit wir bei dem Begri
Seite 43 und 44: 43 Abbildung 10: Die Teilwortvorkom
Seite 45 und 46: 45 es wohl nicht einfach nur die ex
Seite 47 und 48: 47 Die endlichen Kardinalzahlen sin
Seite 49 und 50: 49 Bei der Addition muss man etwas
Seite 51 und 52: 51 Je nachdem, welches Vorkommen wi
Seite 53 und 54: 53 unregelmäßiger Nomina.) (91)
Seite 55 und 56: 55 (98) Daraus kann man unter ander
Seite 57 und 58: 57 Definition 10.1 (Verkettung von
Seite 59 und 60: 59 Und schließlich setzen wir ganz
Seite 61 und 62: 61 an, X n = L n·M. Dann ist X n+1
Seite 63 und 64: 63 sodass L, M ⊆ A ∗ . Dann gil
Seite 65 und 66: 65 Abbildung 11: Der Bezahlautomat
Seite 67 und 68: 67 alle Zeichenketten auf, für die
Seite 69 und 70: 69 Daraus folgt dann schon die Beha
Seite 71 und 72: 71 Die Ableitung von/Hund/ (analog
Seite 73 und 74: 73 Man beachte, dass der Automat ni
Seite 75 und 76: 75 wenn jede Regel kontextfrei ist.
Seite 77 und 78: 77 Oder auch, ohne Nichtterminalsym
Seite 79 und 80: 79 Schauen wir uns folgenden Satz a
Seite 81 und 82: 81 Wort⃗r. Dann ist⃗x=a⃗rca
Seite 83 und 84: 83 Istϕ(x) eine Eigenschaft von Me
Seite 85 und 86: Index Äquivalenzrelation, 23 Über
Seite 87: Literatur [1] Carstensen, K.-U., Ch

Formale Methoden I - Universität Bielefeld

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?