Biograe Grundlagen Arten Anwendung Problem. L-Systeme. Fabian Trattnig, Georg Messner, Benedikt Huber. 25. Jänner 2008
|
|
- Mareke Geisler
- vor 7 Jahren
- Abrufe
Transkript
1 Biograe Grundlagen Arten Anwendung Problem Fabian Trattnig, Georg Messner, Benedikt Huber 25. Jänner 2008
2 Biograe Grundlagen Arten Anwendung Problem Einteilung 1 Biograe 2 Grundlagen 3 Arten 4 Anwendung 5 Problem
3 Biograe Grundlagen Arten Anwendung Problem Biograe von A. Lindenmayer Geboren am 17. November 1925 in Budapest Gestorben am 30. Oktober 1989 in den Niederlanden Universitätsabschluss in Chemie, danach emigriert in die USA 1968 ein grammatikalisches Modell zur Darstellung von Panzen entwickelt Abbildung: Aristid Lindenmayer
4 Biograe Grundlagen Arten Anwendung Problem Formalismus Fraktale Ersetzung Turtle-Grak Grundlegende Informationen L-System ist Formalismus
5 Biograe Grundlagen Arten Anwendung Problem Formalismus Fraktale Ersetzung Turtle-Grak Erklärung des Begries Formalismus Schulrichtung von Grundlagenforschung in der Mathematik Vollständigkeit und Widerspruchsfreiheit der Axiomensysteme soll bewiesen werden Heute viele Mathematiker formalistische Axiomatiker
6 Biograe Grundlagen Arten Anwendung Problem Formalismus Fraktale Ersetzung Turtle-Grak Grundlegende Informationen L-System ist Formalismus Ursprünglich biologischer Nutzen, später auch in Informatik verwendet, zum Beispiel bei Fraktalen
7 Biograe Grundlagen Arten Anwendung Problem Formalismus Fraktale Ersetzung Turtle-Grak Erklärung von Fraktalen Bezeichnet natürliche oder künstliche Gebilde oder geometrische Muster Objekt besteht zum Beispiel aus mehreren verkleinerten Kopien von sich selbst Durch Formenreichtum auch in Kunst oft verwendet Abbildung: Fraktal Bei n Fraktale durch wiederholte Textersetzung gebildet
8 Biograe Grundlagen Arten Anwendung Problem Formalismus Fraktale Ersetzung Turtle-Grak Grundlegende Informationen L-System ist Formalismus Ursprünglich biologischer Nutzen, später auch in Informatik verwendet, zum Beispiel bei Fraktalen Prinzip ist die sukzessiven Ersetzung von Einzelteilen mittels Produktionsregeln (Ersetzungssystem)
9 Biograe Grundlagen Arten Anwendung Problem Formalismus Fraktale Ersetzung Turtle-Grak Einfaches Beispiel zur Ersetzung Abbildung: Ersetzungsprozess
10 Biograe Grundlagen Arten Anwendung Problem Formalismus Fraktale Ersetzung Turtle-Grak Grundlegende Informationen L-System ist Formalismus Ursprünglich biologischer Nutzen, später auch in Informatik verwendet, zum Beispiel bei Fraktalen Prinzip ist die sukzessiven Ersetzung von Einzelteilen mittels Produktionsregeln (Ersetzungssystem) Basiert auf der Chomsky-Hierarchie, die eine formale Grammatik ist Ersetzung bei n parallel (vergleiche Zellteilung bei Panzen) Beispiel zur Befehlausführung ist die Turtle-Grak
11 Biograe Grundlagen Arten Anwendung Problem Formalismus Fraktale Ersetzung Turtle-Grak Turtle Grak 2D/3D Abbildung: Turtle-Grak in 2D Abbildung: Turtle-Grak in 3D
12 Biograe Grundlagen Arten Anwendung Problem Kontextfrei Kontextsensitiv Arten von n Kontextfreie D0 geklammerte stochastische parametrische Kontextsensitive 2 1
13 Biograe Grundlagen Arten Anwendung Problem Kontextfrei Kontextsensitiv D0L Systeme D steht für Deterministisch und 0L steht für kontextfreies Beschreibbar als geordnetes Tripel Formale Beschreibung G = (V, ω, P) V ist das Alphabet des Systems ω V + ist das Axiom P ist Menge von geordneten Paaren, die die Ersetzungsregeln bilden 0L-System ist deterministisch, wenn a x a x
14 Biograe Grundlagen Arten Anwendung Problem Kontextfrei Kontextsensitiv Geklammerte Systeme Erweiterung um Klammer-Symbole [ der Natur darzustellen ], um Verzweigungen [: Der aktuelle Zustand wird gespeichert ]: Oberstes Stack-Element wird neuer Zustand
15 Biograe Grundlagen Arten Anwendung Problem Kontextfrei Kontextsensitiv Stochastische Systeme Beschreibbar als Quadrupel Formale Beschreibung Gπ = (V, ω, P, π) Wird für Abweichungen der Panzen verwendet (realistischer) Die Ersetzungsregeln basieren auf Wahrscheinlichkeiten
16 Biograe Grundlagen Arten Anwendung Problem Kontextfrei Kontextsensitiv Parametrische Systeme Zur Darstellung von beliebigen Winkeln und Strecken Formale Beschreibung G = (V, Σ, ω, P) Σ bestimmt die Menge der formalen Parameter P bestimmt endliche Menge der Produktionen mit Parametern der Menge Σ
17 Biograe Grundlagen Arten Anwendung Problem Kontextfrei Kontextsensitiv 2L Systeme Kontext wird berücksichtigt, um die Interaktion einzelner Panzenteile darzustellen Der linke und der rechte Kontext darf nur aus einem Zeichen bestehen Formale Beschreibung A l < a > a r x
18 Biograe Grundlagen Arten Anwendung Problem Kontextfrei Kontextsensitiv 1L Systeme Nur einer der 2 Kontexte wird berücksichtig Formale Beschreibung a l < a x oder a > a r x
19 Biograe Grundlagen Arten Anwendung Problem Panzen Fibonacci Koch-Kurve Beispiel Zeichnen von Panzen (vereinfacht) FabianStartterm: Trattnig, Georg Messner, WK Benedikt Huber
20 Biograe Grundlagen Arten Anwendung Problem Panzen Fibonacci Koch-Kurve Beispiel Anwendung bei Fibonacci Zahlen Bezeichnet nach dem italienischen Mathematiker Leonardo von Pisa, genannt Fibonacci Zahlenreihe: 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, etc... Das nachfolgende Glied berechnet sich aus der Summe seiner beiden Vorgänger Variablen: A, B Keine Konstanten Axiom: A Regeln: A B und B AB
21 Biograe Grundlagen Arten Anwendung Problem Panzen Fibonacci Koch-Kurve Beispiel Koch - Kurve Variablen: F Konstanten: +, - Beginn (Axiom): F Regeln: (F F + F F + F ) Abbildung: Koch - Kurve
22 Biograe Grundlagen Arten Anwendung Problem Panzen Fibonacci Koch-Kurve Beispiel Beispiel anhand eines Programms Abbildung: Fractal Grower
23 Biograe Grundlagen Arten Anwendung Problem Problem mit n Ein Problem ist das Invertierungs-Problem Zu einer bestehenden Zeichenkette eine möglichst kurze Beschreibung zu nden ist schwer Optimierungsproblem
24 Biograe Grundlagen Arten Anwendung Problem Text- und Bilderquellen joel/paperfoldingfractal/paper.html home.ph-freiburg.de/deisslerfr/programme/lindenmayer.pdf medien.informatik.uniulm.de/lehre/courses/ss02/computergrak/florianbreier.pdf
25 Biograe Grundlagen Arten Anwendung Problem Ende Danke für die Aufmerksamkeit Gibt es noch Fragen?
LINDENMAYER SYSTEME Astrid Koennecke
LINDENMAYER SYSTEME Astrid Koennecke Geschichte: Ein Lindenmayer System (L-System) ist ein mathematischer Formalismus, der im Jahr 1968 von dem theoretischen Biologen Aristid Lindenmayer als Grundlage
MehrLindenmayer-Systeme. Zusammenfassung des Vortrags im Proseminar Theoretische Informatik. Benjamin Aram Berendsohn 11.
Lindenmayer-Systeme Zusammenfassung des Vortrags im Proseminar Theoretische Informatik Benjamin Aram Berendsohn 11. November 2014 1 Geschichte Lindenmayer-Systeme, kurz L-Systeme, wurden zuerst 1968 von
MehrRomanesco-Blumenkohl
Lindenmayer-Systeme Romanesco-Blumenkohl Selbstähnlichkeit der Struktur Fraktale Fraktale: Beispiel Kochkurve Erzeugung durch Rekursion: initiator Ersetzung jeder Strecke durch den Generator generator
MehrBeispiele. Strecke A R 1 (genauso für R d ):
Definition 6.1.1 (fraktale Dimension). Sei A R d beschränkt und für ε > 0 sei N A (ε) die minimale Anzahl der d-dimensionalen Kugeln vom Radius ε, mit denen A überdeckt werden kann. Die fraktale Dimension
MehrSprachanalyse. Fachseminar WS 08/09 Dozent: Prof. Dr. Helmut Weber Referentin: Nadia Douiri
Sprachanalyse WS 08/09 Dozent: Prof. Dr. Helmut Weber Referentin: Inhalt 1. Formale Sprachen 2. Chomsky-Hierarchie 2 FORMALE SPRACHE 1. WAS IST EINE SPRACHE? 2. WIE BESCHREIBT MAN EINE SPRACHE? 3. WAS
MehrAlphabet, formale Sprache
n Alphabet Alphabet, formale Sprache l nichtleere endliche Menge von Zeichen ( Buchstaben, Symbole) n Wort über einem Alphabet l endliche Folge von Buchstaben, die auch leer sein kann ( ε leere Wort) l
MehrKapitel IV Formale Sprachen und Grammatiken
Kapitel IV Formale Sprachen und Grammatiken 1. Begriffe und Notationen Sei Σ ein (endliches) Alphabet. Dann Definition 42 1 ist Σ das Monoid über Σ, d.h. die Menge aller endlichen Wörter über Σ; 2 ist
MehrGrammatik Prüfung möglich, ob eine Zeichenfolge zur Sprache gehört oder nicht
Zusammenhang: Formale Sprache Grammatik Formale Sprache kann durch Grammatik beschrieben werden. Zur Sprache L = L(G) gehören nur diejenigen Kombinationen der Zeichen des Eingabealphabets, die durch die
Mehr11. Rekursion. 1, falls n 1. n (n 1)!, andernfalls. Mathematische Rekursion. Rekursion in Java: Genauso! Unendliche Rekursion. n!
Mathematische Rekursion 11. Rekursion Mathematische Rekursion, Terminierung, der Aufrufstapel, Beispiele, Rekursion vs. Iteration, Lindenmayer Systeme Viele mathematische Funktionen sind sehr natürlich
Mehr12. Rekursion. 1, falls n 1. n (n 1)!, andernfalls. Lernziele. Mathematische Rekursion. Rekursion in Java: Genauso! n! =
Lernziele Sie verstehen, wie eine Lösung eines rekursives Problems in Java umgesetzt werden kann. Sie wissen, wie Methoden in einem Aufrufstapel abgearbeitet werden. 12. Rekursion Mathematische Rekursion,
MehrFraktale. Mathe Fans an die Uni. Sommersemester 2009
Fraktale Mathe Fans an die Uni Ein Fraktal ist ein Muster, das einen hohen Grad Selbstähnlichkeit aufweist. Das ist beispielsweise der Fall, wenn ein Objekt aus mehreren verkleinerten Kopien seiner selbst
MehrFibonacci-Zahlen. Geschichte. Definition. Quotienten
Mathematik/Informatik Die Fibonacci-Zahlen Gierhardt Fibonacci-Zahlen Geschichte Im Jahre 0 wurde in Pisa ein Buch über das indischarabische Dezimalsystem von dem italienischen Mathematiker Leonardo Fibonacci
MehrVorkurs Mathematik 2016
Vorkurs Mathematik 2016 WWU Münster, Fachbereich Mathematik und Informatik PD Dr. K. Halupczok Skript VK3 vom 15.9.2016 VK3: Elementare Mengenlehre Der grundlegendste Begri, mit dem Objekte und Strukturen
MehrTheorie der Informatik. Theorie der Informatik. 6.1 Einführung. 6.2 Alphabete und formale Sprachen. 6.3 Grammatiken. 6.4 Chomsky-Hierarchie
Theorie der Informatik 17. März 2014 6. Formale Sprachen und Grammatiken Theorie der Informatik 6. Formale Sprachen und Grammatiken Malte Helmert Gabriele Röger Universität Basel 17. März 2014 6.1 Einführung
MehrKapitel 3: Grundlegende Ergebnisse aus der Komplexitätstheorie Gliederung
Gliederung 1. Berechenbarkeitstheorie 2. Grundlagen 3. Grundlegende Ergebnisse aus der Komplexitätstheorie 4. Die Komplexitätsklassen P und NP 5. Die Komplexitätsklassen RP und BPP 3.1. Ressourcenkompression
MehrElementare Mengenlehre
Vorkurs Mathematik, PD Dr. K. Halupczok WWU Münster Fachbereich Mathematik und Informatik 5.9.2013 Ÿ2 Elementare Mengenlehre Der grundlegendste Begri, mit dem Objekte und Strukturen der Mathematik (Zahlen,
Mehr4 Programmieren in Java III
1 4 Programmieren in Java III 4.1 Rekursive Funktionen und Prozeduren Ein Unterprogramm kann sich selbst aufrufen. Dabei sind, in einer korrekt entworfenen Programmiersprache, die lokalen Variablen der
MehrEinführung in die Theoretische Informatik
Einführung in die Theoretische Informatik Maximilian Haslbeck Fabian Mitterwallner Georg Moser David Obwaller cbr.uibk.ac.at Zusammenfassung der letzten LVA Definition Eine Grammatik G ist ein Quadrupel
Mehr6 Modellierung von Strukturen 6.1 Kontextfreie Grammatiken
6 Modellierung von Strukturen 6.1 Kontextfreie Grammatiken Mod-6.1 Kontextfreie Grammatik (KFG): formaler Kalkül, Ersetzungssystem; definiert Sprache als Menge von Sätzen; jeder Satz ist eine Folge von
Mehr1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen - 1 -
1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen I.2. I.2. Grundlagen von von Programmiersprachen. - 1 - 1. Der Begriff Informatik "Informatik" = Kunstwort aus Information und Mathematik
Mehr1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen - 1 -
1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen I.2. I.2. Grundlagen von von Programmiersprachen. - 1 - 1. Der Begriff Informatik "Informatik" = Kunstwort aus Information und Mathematik
MehrMathematik erzeugt grafische Kunstwerke und zauberhafte Videos: Was sind Fraktale?
Mathematik erzeugt grafische Kunstwerke und zauberhafte Videos: Was sind Fraktale? Klaus Kusche Frühjahr 2019 Inhalt Unser Ziel Was ist ein Fraktal? Von linearen geometrischen Abbildungen zu iterierten
Mehr(Prüfungs-)Aufgaben zu formale Sprachen
(Prüfungs-)Aufgaben zu formale Sprachen (siehe auch bei den Aufgaben zu endlichen Automaten) 1) Eine Grammatik G sei gegeben durch: N = {S, A}, T = {a, b, c, d}, P = { (S, Sa), (S, ba), (A, ba), (A, c),
MehrMathematische Rekursion
Rekursion Mathematische Rekursion o Viele mathematische Funktionen sind sehr natürlich rekursiv definierbar, d.h. o die Funktion erscheint in ihrer eigenen Definition. Mathematische Rekursion o Viele mathematische
MehrWS06/07 Referentin: Katharina Blinova. Formale Sprachen. Hauptseminar Intelligente Systeme Dozent: Prof. Dr. J. Rolshoven
WS06/07 Referentin: Katharina Blinova Formale Sprachen Hauptseminar Intelligente Systeme Dozent: Prof. Dr. J. Rolshoven 1. Allgemeines 2. Formale Sprachen 3. Formale Grammatiken 4. Chomsky-Hierarchie 5.
MehrGrundbegriffe. Grammatiken
Grammatiken Grammatiken in der Informatik sind ähnlich wie Grammatiken für natürliche Sprachen ein Mittel, um alle syntaktisch korrekten Sätze (hier: Wörter) einer Sprache zu erzeugen. Beispiel: Eine vereinfachte
MehrVorlesung Automaten und Formale Sprachen Sommersemester Beispielsprachen. Sprachen
Vorlesung Automaten und Formale Sprachen Sommersemester 2018 Prof. Barbara König Übungsleitung: Christina Mika-Michalski Wörter Wort Sei Σ ein Alphabet, d.h., eine endliche Menge von Zeichen. Dann bezeichnet
MehrTheoretische Informatik Mitschrift
Theoretische Informatik Mitschrift 2. Grammatiken und die Chomsky-Hierarchie Beispiel: Syntaxdefinition in BNF :=
Mehr0 [Information] Fibonacci bonacci. Bergstadt-Gymnasium Di Ma/Inf 9 (ht)
0 [Information] Der italienische Mathematiker (eigentlich Leonardo von Pisa, 1170-1250) stellt in seinem Buch Liber Abaci folgende Aufgabe: Ein Mann hält ein Kaninchenpaar an einem Ort, der gänzlich von
Mehr1. Teilklausur zur Vorlesung Grundlagen der Theoretischen Informatik
1. Teilklausur zur Vorlesung Grundlagen der Theoretischen Informatik Ulrich Furbach Christian Schwarz Markus Kaiser Arbeitsgruppe Künstliche Intelligenz Fachbereich Informatik, Universität Koblenz-Landau
MehrReihen, Einleitung. 1-E1 Ma 2 Lubov Vassilevskaya
Reihen, Einleitung 1-E1 Ma 2 Lubov Vassilevskaya Einleitung Im Folgenden werden wir Reihen, d.h. Summen von Zahlen untersuchen. Wir unterscheiden zwischen einer endlichen Reihe, bei der die Summe endlich
MehrRelationen und Funktionen
Relationen und Funktionen Relationen und Funktionen Quick Start Informatik Theoretischer Teil WS2011/12 11. Oktober 2011 Relationen und Funktionen > Relationen Relationen Relationen und Funktionen > Relationen
MehrGrundbegriffe der Informatik Tutorium 11
Grundbegriffe der Informatik Tutorium 11 Tutorium Nr. 32 Philipp Oppermann 29. Januar 2014 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
MehrTheoretische Grundlagen der Informatik
Theoretische Grundlagen der Informatik Vorlesung am 18. Januar 2018 INSTITUT FÜR THEORETISCHE 0 18.01.2018 Dorothea Wagner - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE KIT Die Forschungsuniversität
MehrEINFÜHRUNG IN DIE THEORETISCHE INFORMATIK
EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK Prof. Dr. Klaus Ambos-Spies Sommersemester 2012 17. DIE KONTEXTFREIEN SPRACHEN II: ABSCHLUSSEIGENSCHAFTEN, MASCHINENCHARAKTERISIERUNG, KOMPLEXITÄT Theoretische
MehrNachklausur zur Vorlesung Informatik 3 mit einigen Anmerkungen zu Lösungen
Nachklausur zur Vorlesung Informatik 3 mit einigen Anmerkungen zu Lösungen Aufgabe 1 2 3 4 5 6 7 max. Punkte 6 6 7 7 8 8 12 err. Punkte Gesamtpunktzahl: Note: 1 Aufgabe 1 (3+1+1+1 = 6 Punkte) Es seien
MehrFraktale und Lindenmayer-Systeme Zusammenfassung des Vortrages
Proseminar Grundlagen der theoretischen Informatik Dozent: Prof. Helmut Alt Fraktale und Lindenmayer-Systeme Zusammenfassung des Vortrages Richard Wilhelm Wintersemester 2007 Fraktale Vorgestellt wurden
MehrSprachen sind durch folgenden Aufbau gekennzeichnet:
BNF UND SYNTAXDIAGRAMME 1. Allgemeines 1.1 Aufbau von Sprachen BNF und Syntaxdiagramme werden verwendet, um die Syntax einer Sprache darzustellen und graphisch zu veranschaulichen. Mit ihnen können entweder
MehrAlgorithmen und Datenstrukturen I - Exkurs Formale Sprachen -
Algorithmen und Datenstrukturen I - Exkurs Formale Sprachen - Thies Pfeiffer Technische Fakultät tpfeiffe@techfak.uni-bielefeld.de Vorlesung, Universität Bielefeld, Winter 2012/2013 1 / 1 Exkurs: Formale
Mehr7. Syntax: Grammatiken, EBNF
7. Syntax: Grammatiken, EBNF Teil 1 Sehr schönes Beispiel für Notwendigkeit der Theoretischen Informatik für Belange der Praktischen Informatik Vertiefung in: Einführung in die Theoretische Informatik
MehrAlgorithmen und Datenstrukturen I - Exkurs Formale Sprachen -
Algorithmen und Datenstrukturen I - - Thies Pfeiffer Technische Fakultät tpfeiffe@techfak.uni-bielefeld.de Vorlesung, Universität Bielefeld, Winter 2012/2013 1 / 22 Exkurs: Formale Sprachen Im Kapitel
MehrDiana Lange. Generative Gestaltung Komplexe Datentypen: String
Diana Lange Generative Gestaltung Komplexe Datentypen: String einführung In diesem Foliensatz geht es um den Datentyp String. Die Darstellung von Schrift wird in einem gesonderten Foliensatz behandelt:
MehrForm und Darstellung von Informationen
Form und Darstellung von Informationen 1. Computermetaphern 2. Beschreibungssprachen für Texte 3. Grammatiken zur Beschreibung syntaktischer Strukturen 4. Beispiel einer Textbeschreibungssprache: HTML
MehrSprachen und Automaten. Tino Hempel
Sprachen und Automaten 11 Tino Hempel Bisherige Automaten Automat mit Ausgabe/Mealy-Automat Akzeptor, Sprache eines Akzeptors Grenze: L = {a n b n } Kellerautomat erkennt L = {a n b n } Grenze:? T. Hempel
MehrUnterrichtsmaterialien in digitaler und in gedruckter Form. Auszug aus: Formale Sprachen und endliche Automaten - Schülerband
Unterrichtsmaterialien in digitaler und in gedruckter Form Auszug aus: Formale Sprachen und endliche Automaten - Schülerband Das komplette Material finden Sie hier: School-Scout.de Dr. D. Appel Formale
MehrFRAKTALE GEOMETRIE SS 2000 1 DEISSLER Lindenmayersysteme Einführung-2000.doc. Lindenmayer-Systeme. Das Programm L-Sys. R.Deißler
FRAKTALE GEOMETRIE SS 2000 1 DEISSLER Lindenmayer-Systeme Das Programm L-Sys R.Deißler SS 2000 FRAKTALE GEOMETRIE SS 2000 2 DEISSLER Lindenmayersysteme (L-Syteme) Lindenmayersysteme sind Systeme zur Modellierung
MehrSatz 90 Sei A = (Q, Σ, δ, q 0, F ) ein DFA. Der Zeitaufwand des obigen Minimalisierungsalgorithmus ist O( Q 2 Σ ).
Satz 90 Sei A = (Q, Σ, δ, q 0, F ) ein DFA. Der Zeitaufwand des obigen Minimalisierungsalgorithmus ist O( Q 2 Σ ). Beweis: Für jedes a Σ muss jede Position in der Tabelle nur konstant oft besucht werden.
MehrKapitel 4. Reihen 4.1. Definition und Beispiele
Kapitel 4. Reihen 4.1. Definition und Beispiele Ist (a n ) eine Folge von Zahlen, so heißt der formale Ausdruck a ν = a 0 + a 1 + a 2 +... eine Reihe; die einzelnen a ν sind die Glieder dieser Reihe. Um
MehrDisMod-Repetitorium Tag 4
DisMod-Repetitorium Tag 4 Endliche Automaten, Reguläre Sprachen und Kontextfreie Grammatiken 22. März 2018 1 Endliche Automaten Definition DFA Auswertungen Äquivalenzrelationen Verschmelzungsrelation und
MehrWebinar zum Thema. Technische Analyse mit Fibonacci - am Beispiel von DAX & Co Sven Weisenhaus. Webinar
zum Thema Technische Analyse mit Fibonacci - am Beispiel von DAX & Co. Sven Weisenhaus 22.05.2012 1 Zu meiner Person Einführung in die Thematik Grundlagen der Fibonacci-Zahlen Praktische Anwendung Handlungsempfehlungen
MehrFormale Sprachen. Grammatiken und die Chomsky-Hierarchie. Rudolf FREUND, Marian KOGLER
Formale Sprachen Grammatiken und die Chomsky-Hierarchie Rudolf FREUND, Marian KOGLER Grammatiken Das fundamentale Modell zur Beschreibung von formalen Sprachen durch Erzeugungsmechanismen sind Grammatiken.
MehrAlgorithmen & Programmierung. Rekursive Funktionen (2)
Algorithmen & Programmierung Rekursive Funktionen (2) Arten von Rekursion Direkte Rekursion Den Aufruf einer Funktion direkt aus ihrem Funktionskörper heraus bezeichnet man als direkte Rekursion (so haben
Mehr1. Grundlagen. Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen
1. Grundlagen Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen Peter Buchholz 2016 MafI 2 Grundlagen 7 1.1 Was ist Analysis? Analysis ist
Mehr1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen
. Grundlagen Gliederung. Was ist Analysis?.2 Aussagen und Mengen.3 Natürliche Zahlen.4 Ganze Zahlen, rationale Zahlen. Was ist Analysis? Analysis ist neben der linearen Algebra ein Grundpfeiler der Mathematik!
MehrFunktionale Programmierung ALP I. λ Kalkül WS 2012/2013. Prof. Dr. Margarita Esponda. Prof. Dr. Margarita Esponda
ALP I λ Kalkül WS 2012/2013 Berechenbarkeit - inspiriert durch Hilbert's Frage - im Jahr 1900, Paris - Internationaler Mathematikerkongress Gibt es ein System von Axiomen, aus denen alle Gesetze der Mathematik
MehrVorlesung Theoretische Informatik
Vorlesung Theoretische Informatik Automaten und Formale Sprachen Hochschule Reutlingen Fakultät für Informatik Masterstudiengang Wirtschaftsinformatik überarbeitet von F. Laux (Stand: 09.06.2010) Sommersemester
MehrAlgorithmen und Formale Sprachen
Algorithmen und Formale Sprachen Algorithmen und formale Sprachen Formale Sprachen und Algorithmen Formale Sprachen und formale Algorithmen (formale (Sprachen und Algorithmen)) ((formale Sprachen) und
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Sommersemester 2015 29.04.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Bis jetzt 1. Motivation 2. Terminologie 3. Endliche Automaten und reguläre
MehrSei Σ ein endliches Alphabet. Eine Sprache L Σ ist genau dann regulär, wenn sie von einem regulären Ausdruck beschrieben werden kann.
Der Satz von Kleene Wir haben somit Folgendes bewiesen: Der Satz von Kleene Sei Σ ein endliches Alphabet. Eine Sprache L Σ ist genau dann regulär, wenn sie von einem regulären Ausdruck beschrieben werden
MehrFormale Sprachen (parallele und regulierte Ersetzung) SoSe 2008 in Trier. Henning Fernau Universität Trier
Formale Sprachen (parallele und regulierte Ersetzung) SoSe 2008 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 1 Formale Sprachen Gesamtübersicht Organisatorisches / Einführung Motivation
MehrInformatik III. Christian Schindelhauer Wintersemester 2006/07 7. Vorlesung
Informatik III Christian Schindelhauer Wintersemester 2006/07 7. Vorlesung 16.11.2006 schindel@informatik.uni-freiburg.de 1 Informatik III 7. Vorlesung - 2 Informatik III 7. Vorlesung - 3 Informatik III
MehrIteriertes Funktionensystem. Martin Aigner Rainer Brodinger Martin Rieger
Iteriertes Funktionensystem Martin Aigner Rainer Brodinger Martin Rieger Agenda Einleitendes Beispiel Definition und Beschreibung Einsatzgebiete / Anwendungen weitere Beispiele Sierpinski-Dreieck "Das
MehrKontextfreie Grammatiken
Kontextfreie Grammatiken Bisher haben wir verschiedene Automatenmodelle kennengelernt. Diesen Automaten können Wörter vorgelegt werden, die von den Automaten gelesen und dann akzeptiert oder abgelehnt
MehrForschungsstatistik I
Prof. Dr. G. Meinhardt 2. Stock, Nordflügel R. 02-429 (Persike) R. 02-431 (Meinhardt) Sprechstunde jederzeit nach Vereinbarung Forschungsstatistik I Dr. Malte Persike persike@uni-mainz.de WS 2008/2009
MehrTheoretische Grundlagen der Informatik
Theoretische Grundlagen der Informatik Vorlesung am 17. Januar 2012 INSTITUT FÜR THEORETISCHE 0 KIT 18.01.2012 Universität des Dorothea Landes Baden-Württemberg Wagner - Theoretische und Grundlagen der
MehrLexikalische Programmanalyse der Scanner
Der Scanner führt die lexikalische Analyse des Programms durch Er sammelt (scanned) Zeichen für Zeichen und baut logisch zusammengehörige Zeichenketten (Tokens) aus diesen Zeichen Zur formalen Beschreibung
MehrMathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18
Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18 19. Oktober 2017 1/27 Zu der Vorlesung gibt es ein Skript, welches auf meiner Homepage
MehrDefinition 4 (Operationen auf Sprachen) Beispiel 5. Seien A, B Σ zwei (formale) Sprachen. Konkatenation: AB = {uv ; u A, v B} A + = n 1 An
Definition 4 (Operationen auf Sprachen) Seien A, B Σ zwei (formale) Sprachen. Konkatenation: AB = {uv ; u A, v B} A 0 = {ɛ}, A n+1 = AA n A = n 0 An A + = n 1 An Beispiel 5 {ab, b}{a, bb} = {aba, abbb,
MehrFORMALE SYSTEME. Sprachen beschreiben. Wiederholung. Wie kann man Sprachen beschreiben? 2. Vorlesung: Grammatiken und die Chomsky-Hierarchie
Wiederholung FORMALE SYSTEME 2. Vorlesung: Grammatiken und die Chomsky-Hierarchie Markus Krötzsch Formale Sprachen sind in Praxis und Theorie sehr wichtig Ein Alphabet ist eine nichtleere, endliche Menge
MehrInformatik IV Theoretische Informatik: Formale Sprachen und Automaten, Berechenbarkeit und NP-Vollständigkeit. Zugangsnummer: 9201
Informatik IV Theoretische Informatik: Formale Sprachen und Automaten, Berechenbarkeit und NP-Vollständigkeit Wiederholung Kapitel 3 und 4 http://pingo.upb.de Zugangsnummer: 9201 Dozent: Jun.-Prof. Dr.
MehrGrundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I
Vorlesung Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I Bernhard Beckert Institut für Informatik Sommersemester 2007 B. Beckert Grundlagen d. Theoretischen Informatik:
MehrFormale Sprachen. Inhalte. Lehrplan. Hinweis
Formale Sprachen Inhalte Aufbau von Sprachen Grammatiken formaler Sprachen Endliche Automaten *Grenzen endlicher Automaten Werkzeuge TdI, 2. Juli 2010 Peter Brichzin 1 TdI, 2. Juli 2010 Peter Brichzin
MehrTheorie der Informatik
Theorie der Informatik 6. Formale Sprachen und Grammatiken Malte Helmert Gabriele Röger Universität Basel 17. März 2014 Einführung Beispiel: Aussagenlogische Formeln Aus dem Logikteil: Definition (Syntax
MehrAbschnitt 5. Grammatiken
Abschnitt 5 Sven Büchel Computerlinguistik I: Übung 148 / 163 Definition Formale Grammatik Eine formale Grammatik G ist eine 4-Tupel G =(N,T,P,S) mit einem Alphabet von Nicht-Terminalsymbolen N einem Alphabet
MehrInformatik III - WS07/08
Informatik III - WS07/08 Kapitel 5 1 Informatik III - WS07/08 Prof. Dr. Dorothea Wagner dwagner@ira.uka.de Kapitel 5 : Grammatiken und die Chomsky-Hierarchie Informatik III - WS07/08 Kapitel 5 2 Definition
MehrFormale Sprachen. Grammatiken. Grammatiken und die Chomsky-Hierarchie. Rudolf FREUND, Marion OSWALD. Grammatiken: Ableitung
Formale Sprachen rammatiken und die Chomsky-Hierarchie Rudolf FREUND, Marion OSWALD rammatiken Das fundamentale Modell zur Beschreibung von formalen Sprachen durch Erzeugungsmechanismen sind rammatiken.
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Sommersemester 2015 23.04.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Bis jetzt 1. Terminologie 2. Endliche Automaten und reguläre Sprachen
MehrRekursiv aufzählbare Sprachen
Kapitel 4 Rekursiv aufzählbare Sprachen 4.1 Grammatiken und die Chomsky-Hierarchie Durch Zulassung komplexer Ableitungsregeln können mit Grammatiken größere Klassen als die kontextfreien Sprachen beschrieben
MehrFragenkatalog 2. Abgabegespräch Formale Modellierung 3 Reguläre Sprachen
Fragenkatalog 2. Abgabegespräch Formale Modellierung 3 Reguläre Sprachen 1. Was ist eine formale Sprache? Menge von Zeichenketten, die aus den Symbolen eines beliebigen Alphabets aufgebaut sind. Zeichenkette:
MehrOrientierungsmodul Oberstufe OS 1. Zahlen auf dem Zahlenstrahl darstellen und interpretieren. natürliche Zahlen bis 2 Millionen lesen und schreiben
Inhalt/ Orientierungsmodul Oberstufe O 1 Zahlendarstellung Zahlen auf dem Zahlenstrahl darstellen und interpretieren O 1 _Mathematik_71 A1, A2, A4 natürliche Zahlen bis 2 Millionen lesen und schreiben
MehrTheoretische Grundlagen der Informatik. Vorlesung am 17. Januar INSTITUT FÜR THEORETISCHE INFORMATIK
Theoretische Grundlagen der Informatik 0 17.01.2019 Torsten Ueckerdt - Theoretische Grundlagen der Informatik KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft www.kit.edu Evaluation Ergebnisse
MehrTheoretische Informatik I
Theoretische Informatik I Einheit 2.5 Grammatiken 1. Arbeitsweise 2. Klassifizierung 3. Beziehung zu Automaten Beschreibung des Aufbaus von Sprachen Mathematische Mengennotation Beschreibung durch Eigenschaften
MehrFormale Grundlagen der Wirtschaftsinformatik
Formale Grundlagen der Wirtschaftsinformatik Nikolaj Popov Research Institute for Symbolic Computation popov@risc.uni-linz.ac.at Sprachen und Grammatiken Teil II Sprache Definition: Ein Alphabet Σ ist
MehrLogik I. Symbole, Terme, Formeln
Logik I Symbole, Terme, Formeln Wie jede geschriebene Sprache basiert die Prädikatenlogik erster Stufe auf einem Alphabet, welches aus den folgenden Symbolen besteht: (a) Variabeln wie zum Beispiel v 0,v
MehrÜbungsblatt 6. Vorlesung Theoretische Grundlagen der Informatik im WS 18/19
Institut für Theoretische Informatik Lehrstuhl Prof. Dr. D. Wagner Übungsblatt 6 Vorlesung Theoretische Grundlagen der Informatik im WS 18/19 Ausgabe 8. Januar 2019 Abgabe 22. Januar 2019, 11:00 Uhr (im
MehrJavaKara Aufgaben. 1 Kara und die Blätter... (einfach)
1 Kara und die Blätter... (einfach) Schreiben Sie ein Programm, das Kara bis zum nächsten Baum führt. Liegt auf einem Feld ein Blatt, soll Kara es aufnehmen; liegt auf einem Feld kein Blatt, eines hinlegen.
MehrFunktionen mit mehreren Variablen. Voraussetzungen:
Funktionen mit mehreren Variablen Voraussetzungen: Grundlegende Kenntnisse über Ableiten (Zu inden in dem Artikel Dierential und Integralrechnung au www.antigauss.de), sowie eine Vorstellung davon, was
MehrTheoretische Informatik I
Theoretische Informatik I Rückblick Theoretische Informatik I 1. Mathematische Methoden 2. Reguläre Sprachen 3. Kontextfreie Sprachen Themen der Theoretischen Informatik I & II Mathematische Methodik in
MehrMathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16
Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16 15. Oktober 2015 Zu der Vorlesung gibt es ein Skript, welches auf meiner Homepage veröffentlicht
MehrGrammatiken. Eine Grammatik G mit Alphabet Σ besteht aus: Variablen V. Startsymbol S V. Kurzschreibweise G = (V, Σ, P, S)
Grammatiken Eine Grammatik G mit Alphabet Σ besteht aus: Variablen V Startsymbol S V Produktionen P ( (V Σ) \ Σ ) (V Σ) Kurzschreibweise G = (V, Σ, P, S) Schreibweise für Produktion (α, β) P: α β 67 /
MehrMathematica kompakt. Einführung-Funktionsumfang-Praxisbeispiele von Dipl.-Math.Christian H.Weiß. Oldenbourg Verlag München
Mathematica kompakt Einführung-Funktionsumfang-Praxisbeispiele von Dipl.-Math.Christian H.Weiß Oldenbourg Verlag München Inhaltsverzeichnis Vorwort Tabellenverzeichnis VII XVII 1 Einleitung 1 1 Grundlagen
MehrWirtschaftsmathematik für International Management (BA) und Betriebswirtschaft (BA)
Wirtschaftsmathematik für International Management (BA) und Betriebswirtschaft (BA) Wintersemester 2014/15 Hochschule Augsburg Beispiel: Graphische Darstellung Zulässigkeitsbereich Ungleichung (1) mit
MehrDidaktik der Analysis und der Analytischen Geometrie/ Linearen Algebra
A. Filler Didaktik der Analysis und der Analytischen Geometrie/ Linearen Algebra, Teil 3 Folie 1 /18 Didaktik der Analysis und der Analytischen Geometrie/ Linearen Algebra 3. Zahlenfolgen und Grenzwerte
MehrModellieren von Natur
Modellieren von Natur Oliver Deussen Natürliche Objekte 1 bisher: Kombination relativ einfacher Primitive zur Generierung (geschlossener) glatter Oberflächen aber: Wie modelliert man natürliche Objekte?
MehrGrundbegriffe der Informatik Tutorium 12
Grundbegriffe der Informatik Tutorium 12 Tutorium Nr. 16 Philipp Oppermann 28. Januar 2015 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
MehrMathematische Grundlagen der Computerlinguistik
kartesische Produkte und und Funktionen (Teil I) Centrum für Informations- und Sprachverarbeitung (CIS) 2. Juni 2014 Table of Contents kartesische Produkte und 1 kartesische Produkte und 2 Darstellung
MehrGOLDENER SCHNITT UND FIBONACCI-FOLGE
GOLDENER SCHNITT UND FIBONACCI-FOLGE NORA LOOSE. Der Goldene Schnitt - Eine Irrationalität am Ordenssymbol der Pythagoreer Schon im 5. Jahrhundert v. Chr. entdeckte ein Pythagoreer eine Konsequenz der
MehrReelle Zahlenfolgen, Einleitung Fibonacci Folge
Reelle Zahlenfolgen, Einleitung Fibonacci Folge 1-E Einleitung Folgen und Reihen bilden eine wichtige Grundlage der Analysis. Sie führen zum Begriff des Grenzwertes, der für die Differential- und die Integralrechnung
MehrTheoretische Informatik Kap 2: Berechnungstheorie
Gliederung der Vorlesung 0. Grundbegriffe 1. Formale Sprachen/Automatentheorie 1.1. Grammatiken 1.2. Reguläre Sprachen 1.3. Kontextfreie Sprachen 2. Berechnungstheorie 2.1. Berechenbarkeitsmodelle 2.2.
Mehr