Kommilitonen im Kurs Formale Grundlagen der Informatik an der Universität Mannheim. erstellen und teilen Zusammenfassungen, Karteikarten, Lernpläne und andere Lernmaterialien mit der intelligenten StudySmarter Lernapp. Jetzt mitmachen!
Jetzt mitmachen!
Formale Grundlagen der Informatik
Anzahl der Blaetter in einem Baum
k^d
Formale Grundlagen der Informatik
Anzahl der Knoten in einem Baum
( k^(d+1) - 1 )/( k - 1 )
Formale Grundlagen der Informatik
Exklusives ODER?
Wenn A und B unterschiedliche Wahrheitswerte haben. (XOr)
Formale Grundlagen der Informatik
Gegeben seien DFAs A = (Q, q0, F, δ) und A = (Q, q
0, x) und akzeptieren x, falls
0, F, δ) über Σ, wobei L = L(A) und
L = L(A). Dann existieren DFAs der Größe
Gegeben seien DFAs A = (Q, q0, F, δ) und A = (Q, q
0, x) und akzeptieren x, falls
0, F, δ) über Σ, wobei L = L(A) und
L = L(A). Dann existieren DFAs der Größe |Q| · |Q| für die Sprachen L ∪ L, L ∩ L und LL.
Formale Grundlagen der Informatik
Anzahl der inneren Blaetter in einem Baum
( k^d - 1 )/( k - 1 )
k Knoten
d Tiefe des Baumes
Formale Grundlagen der Informatik
Wozu dienen endliche Automaten?
Endliche Automaten bilden ein Modell zur formalen Spezifikation von endlichen, durch ein
gewünschtes Ein-/Ausgabeverhalten definierten Systemen S
Formale Grundlagen der Informatik
(N, R≤), U := {13, 5, 4, 18, 2}.
Obere Schranken von U:
Untere Schranken von U:
Supremum von U:
Infimum von U:
Obere Schranken von U: 18, 19, 20, 21, ....
• Untere Schranken von U: 0, 1, 2.
• Supremum von U: 18.
• Infimum von U: 2.
Formale Grundlagen der Informatik
(P({1, 2, 3, 4}), R⊆), U := {{2, 3}, {3, 4}, {3}}.
Obere Schranken von U:
Untere Schranken von U:
Supremum von U:
Infimum von U:
• Obere Schranken von U: {2, 3, 4}, {1, 2, 3, 4}.
• Untere Schranken von U: ∅, {3}.
• Supremum von U: {2, 3, 4}.
• Infimum von U: {3}.
Formale Grundlagen der Informatik
Definition Mengen
Mengen sind Zusammenfassungen von wohlunterschiedenen Elementen eines vorgegebenen
Universums U (kontextbezogen oder ALLES).
Eine Menge M ist definiert durch das Prädikat x ∈ M über U.
Formale Grundlagen der Informatik
Es sei Σ ein endliches Alphabet, bestehend aus Buchstaben.
Wörter der Länge n? (Definition)
Für alle natürliche Zahlen n ≥ 1 bezeichnen wir n-Tupel x = (x1, . . . , xn) aus Σ^n als Worte der
Länge |x| = n über Σ.
Formale Grundlagen der Informatik
Endliche Automaten:
Die Knotenmenge entspricht der ...
Menge der Zustände
Formale Grundlagen der Informatik
Ein binärer Baum der Tiefe d ∈ N heißt vollständig, falls
Ein binärer Baum der Tiefe d ∈ N heißt vollständig, falls dieser 2d Blätter und 2^(d+1) −1 Knoten hat.
Für deinen Studiengang Formale Grundlagen der Informatik an der Universität Mannheim gibt es bereits viele Kurse auf StudySmarter, denen du beitreten kannst. Karteikarten, Zusammenfassungen und vieles mehr warten auf dich.
Zurück zur Universität Mannheim ÜbersichtsseiteSchau dir doch auch Formale Grundlagen der Informatik an anderen Unis an
Zurück zur Universität Mannheim ÜbersichtsseiteStudySmarter ist eine intelligente Lernapp für Studenten. Mit StudySmarter kannst du dir effizient und spielerisch Karteikarten, Zusammenfassungen, Mind-Maps, Lernpläne und mehr erstellen. Erstelle deine eigenen Karteikarten z.B. für Formale Grundlagen der Informatik an der Universität Mannheim oder greife auf tausende Lernmaterialien deiner Kommilitonen zu. Egal, ob an deiner Uni oder an anderen Universitäten. Hunderttausende Studierende bereiten sich mit StudySmarter effizient auf ihre Klausuren vor. Erhältlich auf Web, Android & iOS. Komplett kostenfrei. Keine Haken.
Bestes EdTech Startup in Deutschland
Du bist schon registriert? Hier geht‘s zum Login