Syntax. Annabelle Klarl. Einführung in die Informatik Programmierung und Softwareentwicklung
|
|
|
- Alma Schubert
- vor 7 Jahren
- Abrufe
Transkript
1 Annabelle Klarl Zentralübung zur Vorlesung Einführung in die Informatik: WS16/17
2 Organisatorisches Wir werden socrative nutzen, um während der Zentralübung Multiple-Choice-Fragen zu stellen: Jeder Teilnehmer mit Internetzugang kann die Fragen live per App oder Browser beantworten (oder für sich auf dem Papier). Wir bekommen live Feedback. Action required now: 1. Smartphone: installiere die App "Socrative Student" oder Laptop: öffne im Browser b.socrative.com/login/student 2. Betrete den Raum InfoEinf. 3. Beantworte die erste Frage sofort! 2
3 EBNF-Grammatik: Wozu? Beschreibung von gültigen Worten (und Sätzen) einer Sprache Deutsche Sprache Bestimmte Teile der deutschen Sprache z.b. Palindrome, Uhrzeit Programmiersprache 3
4 Multiple-Choice-Frage Raum: InfoEinf Was kann mit einer EBNF-Grammatik nicht beschrieben werden? a) syntaktisch korrekte Worte b) sinnvolle Worte c) syntaktisch korrekte Sätze d) sinnvolle Sätze 4
5 EBNF-Grammatik: Wie? Terminalsymbole: Buchstaben in der Sprache Nichtterminalsymbole: Hilfsbegriffe, um mehrere Buchstaben oder Buchstabenfolgen der Sprache zusammenzufassen Regeln der Form A = Ausdruck A: Nichtterminalsymbol Ausdruck: Nichtterminal- und Terminalsymbole verbunden durch Operatoren E1 E2 E1 E2 [E1] (= ein E1 oder kein E1) {E1} (= beliebig viele E1, auch kein E1) Startsymbol 5
6 EBNF-Grammatik: Beispiel für Uhrzeiten (I) Eine Uhrzeit wird angegeben durch Angabe der Stunde, gefolgt von einem Doppelpunkt und der Angabe der Minuten. ACHTUNG: Korrekte Uhrzeiten gehen von 00:00 bis 23:59 Nichtterminalzeichen Terminalzeichen EBNF-Grammatik Uhrzeit = Stunde ":" Minute Stunde = "00" "01" "23" Minute = "00" "01" "59" Doppeltes Vorkommen 6
7 EBNF-Grammatik: Beispiel für Uhrzeiten (II) Eine Uhrzeit wird angegeben durch Angabe der Stunde, gefolgt von einem Doppelpunkt und der Angabe der Minuten. ACHTUNG: Korrekte Uhrzeiten gehen von 00:00 bis 23:59 EBNF-Grammatik Uhrzeit = Stunde ":" Minute Stunde = ("0" NullBisNeun) ("1" NullBisNeun) ("2" NullBisDrei) Minute = NullBisFünf NullBisNeun NullBisDrei = "0" "1" "2" "3" NullBisFünf = NullBisDrei "4" "5" NullBisNeun = NullBisFünf "6" "7" "8" "9" 7
8 Multiple-Choice-Frage Raum: InfoEinf Wozu werden EBNF-Grammatiken im Computer verwendet? a) Bilden syntaktisch korrekter Programme b) Überprüfen syntaktisch korrekter Programme c) Ausführen syntaktisch korrekter Programme 8
9 EBNF-Grammatik - Ableitung: Allgemein Beginne mit Startsymbol Wiederhole, bis gewünschtes Wort da steht : Ersetze ein oder mehrere Nichtterminalsymbole durch die rechte Seite ihrer Regel oder Führe einen oder mehrere Operatoren aus Beginne mit Startsymbol Wiederhole, bis gewünschtes Wort da steht Ersetze ein oder mehrere Nichtterminalsymbole durch die rechte Seite ihrer Regel und Führe anschließend einen oder mehrere Operatoren aus, falls möglich 9
10 Beispiel: Ableitung einer korrekten Uhrzeit: 17:49 (lang) Uhrzeit Regel -> Stunde ":" Minute Regel Op -> (("0" NullBisNeun) ("1" NullbisNeun) ("2" NullBisDrei)) ":" Minute -> "1" NullbisNeun ":" Minute Regel Op -> "1" (NullBisFünf "6" "7" "8" "9") ":" Minute -> "1" "7" ":" Minute Regel -> "1" "7" ":" NullBisFünf NullBisNeun Regel Op -> "1" "7" ":" (NullBisDrei "4" "5") NullBisNeun -> "1" "7" ":" "4" NullBisNeun Regel Op -> "1" "7" ":" "4"(NullBisFünf "6" "7" "8" "9") -> "1" "7" ":" "4" "9" 10
11 Multiple-Choice-Frage Uhrzeit = Stunde ":" Minute Einführung in die Informatik Stunde = ("0" NullBisNeun) ("1" NullbisNeun) ("2" NullBisDrei) Minute = NullBisFünf NullBisNeun NullBisDrei = "0" "1" "2" "3" NullBisFünf = NullBisDrei "4" "5" NullBisNeun = NullBisFünf "6" "7" "8" "9" Was ist ein Schritt in einer kurzen Ableitung? a) Stunde -> ("0" NullBisNeun) ("1" NullbisNeun) ("2" NullBisDrei) b) Stunde -> "1" NullbisNeun c) Stunde -> "1" "7" Raum: InfoEinf 11
12 Beispiel: Ableitung einer korrekten Uhrzeit: 17:49 (kurz) Uhrzeit = Stunde ":" Minute Stunde = ("0" NullBisNeun) ("1" NullbisNeun) ("2" NullBisDrei) Minute = NullBisFünf NullBisNeun NullBisDrei = "0" "1" "2" "3" NullBisFünf = NullBisDrei "4" "5" NullBisNeun = NullBisFünf "6" "7" "8" "9" Uhrzeit -> Stunde ":" Minute -> "1" NullBisNeun ":" NullBisFünf NullBisNeun -> "1" "7" ":" "4" "9" 12
13 Beispiel: Ableitung einer inkorrekten Uhrzeit: 33:33 Uhrzeit = Stunde ":" Minute Stunde = ("0" NullBisNeun) ("1" NullbisNeun) ("2" NullBisDrei) Minute = NullBisFünf NullBisNeun NullBisDrei = "0" "1" "2" "3" NullBisFünf = NullBisDrei "4" "5" NullBisNeun = NullBisFünf "6" "7" "8" "9" Uhrzeit -> Stunde ":" Minute ->??? es gibt keine Regel, um "3" an erster Stelle der Stunde abzuleiten, d.h. 33:33 nicht ableitbar d.h. 33:33 ist keine korrekte Uhrzeit 13
14 EBNF-Grammatik diagramm für Uhrzeiten Uhrzeit = Stunde ":" Minute Stunde = "00" "01" "23" Minute = "00" "01" "59" 14
15 Multiple-Choice-Frage Raum: InfoEinf Wie viel hast du nach der Zentralübung verstanden? a) gar nichts: 0% b) die Idee, aber die Beispiele sind mir unklar: <50% c) die Idee und die Beispiele, aber ich könnte es nicht selbst: < 75% d) ich weiß, wie ich eine Aufgabe lösen müsste: > 75% 15
Rekursion. Annabelle Klarl. Einführung in die Informatik Programmierung und Softwareentwicklung
Annabelle Klarl Zentralübung zur Vorlesung Einführung in die Informatik: http://www.pst.ifi.lmu.de/lehre/wise-13-14/infoeinf WS13/14 Action required now 1. Smartphone: installiere die App "socrative student"
Kapitel 2. Methoden zur Beschreibung von Syntax
1 Kapitel 2 Methoden zur Beschreibung von Syntax Grammatik, die sogar Könige zu kontrollieren weiß... aus Molière, Les Femmes Savantes (1672), 2. Akt 2 Ziele Zwei Standards zur Definition der Syntax von
Kontrollstrukturen. Annabelle Klarl. Einführung in die Informatik Programmierung und Softwareentwicklung
Annabelle Klarl Zentralübung zur Vorlesung Einführung in die Informatik: http://www.pst.ifi.lmu.de/lehre/wise-14-15/infoeinf WS14/15 Action required now 1. Smartphone: installiere die App "socrative student"
Arrays von Objekten. Annabelle Klarl. Einführung in die Informatik Programmierung und Softwareentwicklung
Annabelle Klarl Zentralübung zur Vorlesung Einführung in die Informatik: http://www.pst.ifi.lmu.de/lehre/wise-13-14/infoeinf WS13/14 Action required now 1. Smartphone: installiere die App "socrative student"
Suchbäume. Annabelle Klarl. Einführung in die Informatik Programmierung und Softwareentwicklung
Suchbäume Annabelle Klarl Zentralübung zur Vorlesung Einführung in die Informatik: http://www.pst.ifi.lmu.de/lehre/wise-13-14/infoeinf WS13/14 Action required now 1. Smartphone: installiere die App "socrative
Einfache Arrays. Annabelle Klarl. Einführung in die Informatik Programmierung und Softwareentwicklung
Annabelle Klarl Zentralübung zur Vorlesung Einführung in die Informatik: http://www.pst.ifi.lmu.de/lehre/wise-13-14/infoeinf WS13/14 Action required now 1. Smartphone: installiere die App "socrative student"
7. Formale Sprachen und Grammatiken
7. Formale Sprachen und Grammatiken Computer verwenden zur Verarbeitung von Daten und Informationen künstliche, formale Sprachen (Maschinenspr., Assemblerspachen, Programmierspr., Datenbankspr., Wissensrepräsentationsspr.,...)
Informatik I Tutorium WS 07/08
Informatik I Tutorium WS 07/08 Vorlesung: Prof. Dr. F. Bellosa Übungsleitung: Dipl.-Inform. A. Merkel Tutorium: 12 Tutor: Jens Kehne Tutorium 3: Dienstag 13. November 2007 Übersicht Tutorium Übersicht
Übungen zu Einführung in die Informatik: Programmierung und Software-Entwicklung: Lösungsvorschlag
Ludwig-Maximilians-Universität München WS 2016/17 Institut für Informatik Übungsblatt 2 Prof. Dr. R. Hennicker, A. Klarl Übungen zu Einführung in die Informatik: Programmierung und Software-Entwicklung:
Informatik I WS 07/08 Tutorium 24
Info I Tutorium 24 Informatik I WS 07/08 Tutorium 24 15.11.07 Bastian Molkenthin E-Mail: infotut@sunshine2k.de Web: http://infotut.sunshine2k.de Review / Organisatorisches o Probleme bei Foliendownload?
Theoretische Grundlagen der Informatik
Theoretische Grundlagen der Informatik Vorlesung am 10.01.2012 INSTITUT FÜR THEORETISCHE 0 KIT 12.01.2012 Universität des Dorothea Landes Baden-Württemberg Wagner - Theoretische und Grundlagen der Informatik
1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen. I.2. I.2. Grundlagen von von Programmiersprachen.
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
Einführung in die Informatik Grammars & Parsers
Einführung in die Informatik Grammars & Parsers Grammatiken, Parsen von Texten Wolfram Burgard Cyrill Stachniss 12.1 Einleitung Wir haben in den vorangehenden Kapiteln meistens vollständige Java- Programme
6 Kontextfreie Grammatiken
6 Kontextfreie Grammatiken Reguläre Grammatiken und damit auch reguläre Ausdrücke bzw. endliche Automaten haben bezüglich ihres Sprachumfangs Grenzen. Diese Grenzen resultieren aus den inschränkungen,
Was ist ein Compiler?
Was ist ein Compiler? Was ist ein Compiler und worum geht es? Wie ist ein Compiler aufgebaut? Warum beschäftigen wir uns mit Compilerbau? Wie ist die Veranstaltung organisiert? Was interessiert Sie besonders?
Syntaxanalyse Ausgangspunkt und Ziel
Syntaxanalyse Ausgangspunkt und Ziel Ausgangspunkt: Kontextfreie Grammatik Im Normalfall BNF, manchmal EBNF BNF = Backus-Naur-Form = Produktionsregeln EBNF = erweiterte BNF (+ reguläre Ausdrücke) Prüfung
Programmierkurs II. C und Assembler
Programmierkurs II C und Assembler Prof. Dr. Wolfgang Effelsberg Universität Mannheim Sommersemester 2003 1-1 Inhalt Teil I: Die Programmiersprache C 2. Datentypen und Deklarationen 3. Operatoren und Ausdrücke
Automaten und Formale Sprachen
Automaten und Formale Sprachen Prof. Dr. Dietrich Kuske FG Theoretische Informatik, TU Ilmenau Wintersemester 2011/12 WS 11/12 1 Organisatorisches zur Vorlesung Informationen, aktuelle Version der Folien
2.11 Kontextfreie Grammatiken und Parsebäume
2.11 Kontextfreie Grammatiken und Parsebäume Beispiel: Beispiel (Teil 3): Beweis für L(G) L: Alle Strings aus L der Länge 0 und 2 sind auch in L(G). Als Induktionsannahme gehen wir davon aus, dass alle
Java für Anfänger Teil 2: Java-Syntax. Programmierkurs Manfred Jackel
Java für Anfänger Teil 2: Java-Syntax Programmierkurs 06.-10.10.2008 Manfred Jackel 1 Syntax für die Sprache Java public class Welcome { } Schlüsselworte Reservierte Worte Keywords Wortsymbol Syntax: griech.
Grammatiken und ANTLR
Grammatiken und ANTLR Zusatzfolien zu Algo Blatt 6 Author: Henry Schaefer http://www.majeeks.de/folien_blatt6.pdf Grammatik Definition: syntaktische Beschreibung einer Sprache (H.S.) Definiton Grammatik
Java für Anfänger Teil 2: Java-Syntax. Programmierkurs Manfred Jackel
Java für Anfänger Teil 2: Java-Syntax Programmierkurs 11.-15.10.2010 Manfred Jackel 1 Syntax für die Sprache Java public class Welcome { } Schlüsselworte Reservierte Worte Keywords Wortsymbol Syntax: griech.
Quick Start Guide. Sehen Sie, wie Sie mit dem KnowledgePulse effektiver lernen können! knowledgepulse für windows phone
Sehen Sie, wie Sie mit dem KnowledgePulse effektiver lernen können! Quick Start Guide knowledgepulse für windows phone Der KnowledgePulse stellt Ihnen gelegentlich kurze Fragen zu Ihrem Lernstoff. Wie
Formale Sprachen, reguläre und kontextfreie Grammatiken
Formale Sprachen, reguläre und kontextfreie Grammatiken Alphabet A: endliche Menge von Zeichen Wort über A: endliche Folge von Zeichen aus A A : volle Sprache über A: Menge der A-Worte formale Sprache
Grundlagen der Informatik II. Teil I: Formale Modelle der Informatik
Grundlagen der Informatik II Teil I: Formale Modelle der Informatik 1 Einführung GdInfoII 1-2 Ziele/Fragestellungen der Theoretischen Informatik 1. Einführung abstrakter Modelle für informationsverarbeitende
Objektorientierte Programmierung. Kapitel 3: Syntaxdiagramme und Grammatikregeln
Stefan Brass: OOP (Java), 3. Syntaxdiagramme und Grammatikregeln 1/32 Objektorientierte Programmierung Kapitel 3: Syntaxdiagramme und Grammatikregeln Stefan Brass Martin-Luther-Universität Halle-Wittenberg
Formale Sprachen. Formale Grundlagen (WIN) 2008S, F. Binder. Vorlesung im 2008S
Formale Grundlagen (WIN) Franz Binder Institut für Algebra Johannes Kepler Universität Linz Vorlesung im 2008S http://www.algebra.uni-linz.ac.at/students/win/fg Inhalt Das Alphabet Σ sei eine endliche
Berechenbarkeit und Komplexität
Berechenbarkeit und Komplexität Prof. Dr. Dietrich Kuske FG Theoretische Informatik, TU Ilmenau Wintersemester 2010/11 1 Organisatorisches zur Vorlesung Informationen, aktuelle Version der Folien und Übungsblätter
Notation um Grammatik G hervorzuheben: Eine kontextfreie Grammatik erzeugt eine kontextfreie Sprache. Informatik I -1- WS 2005/2006
Die Sprache einer Grammatik Definition: Sei G = (V, T, P, S) eine kontextfreie Grammatik. Dann umfasst die Sprache L(G) alle Zeichenketten aus Terminalsymbolen, die sich vom Startsymbol ableiten lassen.
TELIS FINANZ Login App
Installation & Bedienung der TELIS FINANZ Login App 1. Voraussetzungen - Android Version 4.0 oder höher - Uhrzeit automatisch gestellt - Für die Einrichtung wird einmalig eine Internetverbindung benötigt
Compiler, Übersetzer. Allgemeine Erklärung / Definition
Compiler, Übersetzer Allgemeine Erklärung / Definition Ein Übersetzer ist ein Programm, das ein S 1 -Wort den Quelltext in ein S 2 -Wort umwandelt den Zieltext wobei die Semantik erhalten bleibt. Frage:
Informatik I WS 07/08 Tutorium 24
Info I Tutorium 24 Informatik I WS 07/08 Tutorium 24 20.12.07 Bastian Molkenthin E-Mail: infotut@sunshine2k.de Web: http://infotut.sunshine2k.de Rückblick Semi-Thue-Systeme Ein Semi-Thue-System besteht
Grammatiken in Prolog
12. Grammatiken in Prolog 12-1 Grammatiken in Prolog Allgemeines: Gedacht zur Verarbeitung natürlicher Sprache. Dort braucht man kompliziertere Grammatiken als etwa im Compilerbau, andererseits sind die
Sprachtheorie. Formale Sprachen und Grammatiken, deren Klassifikation und der Zusammenhang mit Automaten
Sprachtheorie Formale Sprachen und Grammatiken, deren Klassifikation und der Zusammenhang mit Automaten Inhaltsübersicht und Literatur Formale Sprachen Definition Darstellungen: Backus-Naur-Form und Syntaxdiagramme
4. 4. Algorithmen und Datenstrukturen in deskriptiven Programmiersprachen
Kapitel Kapitel 4 Deskriptive Programmierung SS 2008 4. 4. Algorithmen und Datenstrukturen in in deskriptiven Programmiersprachen Deskriptive Programmierung 1 Sprachverarbeitung in in Prolog Prolog Prolog
Kurzeinführung Moodle
Kurzeinführung Moodle 1. Einstieg, Kursinhalte, Datei-Download Nachdem Sie sich erfolgreich registriert und eingeloggt haben, gelangen Sie zu Ihrer Hauptseite. Aktivieren Sie Meine Startsteite um Ihren/Ihre
Einmalige Einbindung in Ihre Netzwerkumgebung
Einmalige Einbindung in Ihre Netzwerkumgebung Den IB-MP401Air verbinden - Bitte bringen Sie die Antenne an dem IB-MP401Air an. - Verbinden Sie das micro USB Kabel mit dem Netzteil und stecken Sie dieses
Formale Sprachen. Eine Einführung. Tim Lethen Düsseldorf Version II (04-06)
Formale Sprachen - Eine Einführung Tim Lethen Düsseldorf Version II (04-06) INHALT 0 Einleitung... 3 1 Grundlegende Definitionen... 3 2 Grammatiken... 4 2.1 Definitionen... 4 2.2 Logische Grammatiken (DCGs)...
Programmieren I. Formale Sprachen. www.kit.edu. Institut für Angewandte Informatik
Programmieren I Formale Sprachen KIT Universität des Landes Baden-Württemberg und nationales Großforschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Formale Sprachen: Allgemeines Sprachen werden
Installation und Lizenzierung Avira Antivirus Premium 2012 / Avira Internet Security 2012
Avira Antivirus Premium 2012 / Avira Internet Security 2012 A. Installation von Avira mit Produktaktivierung Führen Sie bitte folgende Schritte aus: Verwenden Sie in diesem Beispiel die Avira Internet
Erstinstallation und Verwendung der Software Citrix GoToMeeting für Organisatoren/-innen von virtuellen Besprechungen
Erstinstallation und Verwendung der Software Citrix GoToMeeting für Organisatoren/-innen von virtuellen Besprechungen 1 Inhaltsverzeichnis 3 1. Voraussetzungen für die Durchführung von virtuellen Besprechungen
Kontextsensitive Sprachen
Kontextsensitive Sprachen Standardbeispiel: {anbncn} S a b c S a A b B c c B A B b c B b b A A b a A a a Im Bereich der natürlichen Sprachen gibt es zahlreiche kontextsensitive Phänomene in der Semantik
Computer Zeichnen Lernen. Regeln. Gesundheit
Computer 1. 2. Zeichnen 1. 2. Ich kann PC, Bildschirm, Tastatur, Maus, Kopfhörer und Drucker benutzen. Ich kann den Computer ein- und ausschalten. Ich kann in einem Malprogramm den Pinsel, die Spraydose,
Installation und Sicherung von AdmiCash mit airbackup
Installation und Sicherung von AdmiCash mit airbackup airbackup airbackup ist eine komfortable, externe Datensicherungslösung, welche verschiedene Funktionen zur Sicherung, sowie im Falle eines Datenverlustes,
Grammatiken. Einführung
Einführung Beispiel: Die arithmetischen Ausdrücke über der Variablen a und den Operationen + und können wie folgt definiert werden: a, a + a und a a sind arithmetische Ausdrücke Wenn A und B arithmetische
Theoretische Informatik I
Theoretische nformatik inheit 3 Kontextfreie Sprachen 1. Kontextfreie Grammatiken 2. Pushdown Automaten 3. igenschaften kontextfreier Sprachen Theoretische nformatik inheit 3.1 Kontextfreie Grammatiken
DOK. ART GD1. Citrix Portal
Status Vorname Name Funktion Erstellt: Datum DD-MMM-YYYY Unterschrift Handwritten signature or electronic signature (time (CET) and name) 1 Zweck Dieses Dokument beschreibt wie das auf einem beliebigem
Parsing-EinfŸhrung Ð 1
Parsing-EinfŸhrung bersicht Falsifizierbarkeit, oder: Sind Grammatiken wissenschaftlich? Grammatik, Formalismus Kontextfreie Grammatiken Ableitungen Ziel Verstehen der linguistischen Motivation Intuitives
Grundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 8: kontextfreie Grammatiken Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2009/2010 1/37 Überblick Kontextfreie Grammatiken
Einführung in die Computerlinguistik
Einführung in die Computerlinguistik Syntax II WS 2008/2009 Manfred Pinkal Morphologie und Syntax Gegenstand der Morphologie ist die Struktur des Wortes: der Aufbau von Wörtern aus Morphemen, den kleinsten
WLAN manuell einrichten
WLAN manuell einrichten Vorbereiten > Versichern Sie sich, dass die WLAN-Karte oder der USB-Stick eingesteckt ist, und dass die Geräte-Software (Treiber) dafür auf Ihrem Computer installiert ist. > Schliessen
Formale Sprachen und Grammatiken
Formale Sprachen und Grammatiken Jede Sprache besitzt die Aspekte Semantik (Bedeutung) und Syntax (formaler Aufbau). Die zulässige und korrekte Form der Wörter und Sätze einer Sprache wird durch die Syntax
Inhaltsverzeichnis. 1. Remote Access mit SSL VPN 1 1 1 1 2-3 3 4 4 4 5 5 6
Inhaltsverzeichnis. Remote Access mit SSL VPN a. An wen richtet sich das Angebot b. Wie funktioniert es c. Unterstützte Plattform d. Wie kann man darauf zugreifen (Windows, Mac OS X, Linux) 2. Aktive WSAM
Übungen zur Vorlesung Einführung in die Theoretische Informatik, Blatt 12 LÖSUNGEN
Universität Heidelberg / Institut für Informatik 7. Juli 24 Prof. Dr. Klaus Ambos-Spies Nadine Losert Übungen zur Vorlesung Einführung in die Theoretische Informatik, Blatt 2 LÖSUNGEN Aufgabe Verwenden
Teil IX. Eine kleine Programmiersprache
Teil IX Eine kleine Programmiersprache 1 Teil IX.1 Syntaktische Beschreibungsmittel 2 Chomsky Grammatik Eine Chomsky Grammatik wird beschrieben mit einem Quadrupel G = (N, T, P, S). Dabei ist: N die Menge
Kurzanleitung OLB-App Mobiles OnlineBanking für Smartphones und Tablets. www.olb.de
www.olb.de Herzlich willkommen Mit der haben Sie weltweit Ihre Konten im Griff egal ob auf Ihrem Smartphone oder Tablet. Ihre Transaktionen bestätigen Sie bequem mit Ihrer elektronischen Unterschrift ganz
Einblick in formale Sprachen und Automaten
Otto Thiele Einblick in formale Sprachen und Automaten Professor Dr Ulrich Hedtstück 1 ist Professor an der Fachhochschule Konstanz Er hat die Theorie der formalen Sprachen und Automaten, "einen schon
Formale Sprachen und Automaten
Formale Sprachen und Automaten Kapitel 1: Grundlagen Vorlesung an der DHBW Karlsruhe Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2012 Ziel Einführung der wichtigsten
Schwach kontextsensitive Grammatikformalismen
chwach kontextsensitive Grammatikformalismen! Vorlesung Grammatikformalismen Alexander Koller! 2. Juni 2015 Grammatikformalismen Parsingkomplexität O(n) O(n 3 ) polynomiell exponentiell PPACE-vollst. unentscheidbar
Zentrale Dienste Fabrikstrasse 2 CH-3012 Bern T EDUROAM. Installationsanleitung
Zentrale Dienste Fabrikstrasse 2 CH-3012 Bern T +41 31 309 21 11 info@phbern.ch www.phbern.ch EDUROAM Verfasst durch Adrian Marthaler 25.09.2014 Inhalt Inhalt 1 3 1.1 PHBern-Profil von eduroam herunterladen
Kurzanleitung. TSE Verwaltungssoftware Installation
Kurzanleitung TSE Verwaltungssoftware Installation Kurzanleitung Installation Sehr geehrter Kunde, vielen Dank, dass Sie sich für eine Schlossverwaltungssoftware aus dem Hause Burg-Wächter entschieden
SWE1 / Übung 2 (19.10.2011)
SWE1 / Übung 2 (19.1.211) Simulation von Algorithmen Testen, Testplan Beispiel arithmetische Ausdrücke Handsimulation von Algorithmen Man versteht einen Algorithmus (insbesonders einen "Fremden"), wenn
Anhang 5 Auswertung der Fragebögen der Notebook-Klasse
Anhang 5 Auswertung der Fragebögen der Notebook-Klasse Anzahl der Befragten (N) = 7 n = Anzahl der Schüler, die geantwortet haben. Die Anzahl der Schüler, die keine Angaben gemacht haben, sind auch in
Multimedia Technologie II
Vorlesung / Übungen Multimedia Technologie II Prof. Dr. Michael Frank / Prof. Dr. Klaus Hering Sommersemester 2004 HTWK Leipzig, FB IMN Für die externe Vorhaltung der DTD werden sämtliche zwischen den
Microsoft Office 365 ProPlus
Kanton St.Gallen Bildungsdepartement Abteilung Informatik Cluster VI Anleitung Kostenlose Lizenzen für Schüler, Lernende und Mitarbeiter des Cluster VI Impressum Herausgeber Kanton St.Gallen Bildungsdepartement
1. Formale Sprachen 1.2 Grammatiken formaler Sprachen
1. Formale Sprachen 1.2 Grammatiken formaler Sprachen Die Regeln zur Bildung korrekter Wörter einer Sprache kann man in einer natürlichen Sprache formulieren. Da dies jedoch wieder Mehrdeutigkeiten mit
Benutzeranleitung Remote-Office
Amt für Telematik Amt für Telematik, Gürtelstrasse 20, 7000 Chur Benutzeranleitung Remote-Office Amt für Telematik Benutzeranleitung Remote-Office https://lehrer.chur.ch Inhaltsverzeichnis 1 Browser /
Syntax (= Satzgefüge), vgl. auch Grammatik
1 Natürliche Sprachen Natürliche Sprachen bezeichnen wie das Wort "Sprache" ausdrückt zunächst das Gesprochene. Das Schweizerdeutsch etwa ist eine typische natürliche Sprache. Mit der Erfindung der Aufzeichnung
VIP-Programm. Herzlich Willkommen!
VIP-Handbuch VIP-Programm Herzlich Willkommen! Wir freuen uns sehr, dass du dich als Smyles VIP-Mitglied angemeldet hast. Nun ist es fast geschafft und es sind nur noch wenige Schritte zum exklusiven Beta-Tester.
1 Syntax von Programmiersprachen
1 Syntax von Programmiersprachen Syntax ( Lehre vom Satzbau ): formale Beschreibung des Aufbaus der Worte und Sätze, die zu einer Sprache gehören; im Falle einer Programmier-Sprache Festlegung, wie Programme
Convision IP-Videoserver und die Sicherheitseinstellungen von Windows XP (SP2)
Inhalt Convision IP-Videoserver und die Sicherheitseinstellungen von Windows XP (SP2)... 1 1. Die integrierte Firewall von Windows XP... 2 2. Convision ActiveX und Internet Explorer 6... 3 3. Probleme
EINFÜ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
Einführung in Berechenbarkeit, Komplexität und formale Sprachen
Johannes Blömer Skript zur Vorlesung Einführung in Berechenbarkeit, Komplexität und formale Sprachen Universität Paderborn Wintersemester 2011/12 Inhaltsverzeichnis 1 Einleitung 2 1.1 Ziele der Vorlesung...................................
skillpipe User Guide, Version 3.0, 27.08.2015 skillpipe User Guide www.tuv.com/akademie 1
skillpipe User Guide, Version 3.0, 27.08.2015 skillpipe User Guide www.tuv.com/akademie 1 Digitale Unterlagen Erste Schritte mit skillpipe skillpipe ist ein e-reader, mit dem Sie digitale Versionen von
phase6 hallo-app Die Sprachlern-App für Menschen mit Migrationshintergrund ohne deutsche Sprachkenntnisse
phase6 hallo-app Deutsch Erwachsene Die Sprachlern-App für Menschen mit Migrationshintergrund ohne deutsche Sprachkenntnisse SPRACHE IST DIE BASIS FÜR GESELLSCHAFTLICHE INTEGRATION Die phase6 hallo-app
Was bisher geschah. Darstellung von Sprachen Ausführen von Berechnungen
Was bisher geschah Alphabet, Wort, Sprache Operationen auf Wörtern: Spiegelung R, Verkettung Palindrome Relationen zwischen Wörtern: Präfix, Infix, Postfix Wortersetzungssystem S: Regeln (l r), Ersetzungsschritt
Kapitel 2: Formale Sprachen Gliederung. 0. Grundbegriffe 1. Endliche Automaten 2. Formale Sprachen 3. Berechnungstheorie 4. Komplexitätstheorie
Gliederung 0. Grundbegriffe 1. Endliche Automaten 2. Formale Sprachen 3. Berechnungstheorie 4. Komplexitätstheorie 2.1. 2.2. Reguläre Sprachen 2.3. Kontextfreie Sprachen 2/1, Folie 1 2015 Prof. Steffen
Remote Update User-Anleitung
Remote Update User-Anleitung Version 1.1 Aktualisiert Sophos Anti-Virus auf Windows NT/2000/XP Windows 95/98/Me Über diese Anleitung Mit Remote Update können Sie Sophos-Produkte über das Internet aktualisieren.
Einrichtungshilfe für das IP-Telefon Snom xx0
Einrichtungshilfe für das IP-Telefon Snom xx0 Bitte lesen Sie sich die Anleitung aufmerksam durch! Inhaltsverzeichnis 1 Vouraussetzungen... 2 2 Zugriff auf ihr Telefon... 2 3 Einstellungen... 3 4 Einrichten
Empfehlenswerte Referenzen
Wenn Google etwas nicht finden kann, fragen sie Jack Bauer. ("Fakten über Jack Bauer") Inhalt Empfehlenswerte Referenzen...1 0 Wozu reguläre Ausdrücke?...1 1 Die Elemente regulärer Ausdrücke...2 2 Ein
Kapitel 2: Programmfluss steuern
Kapitel 2: Programmfluss steuern Thema: Programmieren Seite: 1 Kapitel 2: Programmfluss steuern Das Flussdiagramm Um schwierige Aufgaben beim Programmieren zu lösen, ist es oft hilfreich, den Programmablauf
Bitte beachten Sie. Nur für Kabelmodem! - 2 -
Erste Seite! Bitte beachten Sie Nur für Kabelmodem! - 2 - Inhaltsverzeichnis Inhaltsverzeichnis... 3 Internetprotokoll-Konfiguration (TCP/IPv4)... 4 Internet Explorer konfigurieren... 7 Windows Live Mail
Benutzerhandbuch EA Administratoren
Eidgenössisches Finanzdepartement EFD Eidgenössische Zollverwaltung EZV Oberzolldirektion Benutzerhandbuch EA Administratoren Das Handbuch für Administratoren der Applikation EA Datenaustausch mit China
Formale Sprachen und deren Grammatiken. Zusammenhang mit der Automatentheorie.
Formale Sprachen Formale Sprachen und deren Grammatiken. Zusammenhang mit der Automatentheorie. Inhaltsübersicht und Literatur Formale Sprachen: Definition und Darstellungen Grammatiken für formale Sprachen
Anleitung Virtual Classroom für Teilnehmer
Anleitung Virtual Classroom für Teilnehmer INHALT 1 Einführung... 1 2 Voraussetzungen... 1 3 Virtual Classroom öffnen... 1 4 Der Meeting-Raum... 2 4.1 Die Pods... 2 4.2 Die Menüleiste... 2 4.3 Audio-Einrichtung...
Induktive Beweise und rekursive Definitionen
Induktive Beweise und rekursive Definitionen Vorlesung Logik in der Informatik, HU Berlin 1. Übungsstunde Beweis durch vollständige Induktion über N Aufgabe 1 Zeige, dass für alle n N gilt: n 2 i = 2 n+1
FAQ s für adevital ACTIVITY AM 1400 (Aktivitätsmesser) mit der adevital plus App
Fragen über den adevital ACTIVITY AM 1400 1. Welche Werte misst der adevital ACTIVITY AM 1400 Der adevital ACTIVITY AM 1400 misst die zurückgelegten Schritte (steps), die zurückgelegte Distanz (km), Ihre
Daten am USB Stick mit TrueCrypt schützen
Daten am USB Stick mit TrueCrypt schützen Das Programm installieren und einrichten ACHTUNG: In der nachfolgenden Anleitung wird der USB Stick immer mit USB-STICK (H:) angegeben! Diese Bezeichnung wurde
E-Learning -- Onlineaufgaben. Anmeldung
E-Learning -- Onlineaufgaben Dieses Semester wird wieder die E-Learning-Plattform Mumie in der CoMa eingesetzt. Dort sollt ihr einen Teil eurer Hausaufgaben lösen -- selbständig und nicht in der Gruppe.
Äquivalente Grammatiken / attributierte Grammatik
Äquivalente Grammatiken / attributierte Grammatik Linksfaktorisierung Elimination von Linksrekursion Umwandlung von EBNF in BNF Attributierte Grammatik Semantikfunktionen und Übersetzungsschema Synthetisierte,
Kurzbeschreibung: Sozialformen: EA PA GA alle. Dauer: 2 Lektionen Kompetenzbereich Medien und Informatik Kompetenz Medien und Informatik
Online Comic Steckbrief Kurzbeschreibung: Mit diesem Programm lernst du Online Comics zu erstellen. Dabei kannst du aus bereits vorgegebenen Charakteren auswählen und diese in dein Comic einbauen. Das
Hilbert-Kalkül (Einführung)
Hilbert-Kalkül (Einführung) Es gibt viele verschiedene Kalküle, mit denen sich durch syntaktische Umformungen zeigen läßt, ob eine Formel gültig bzw. unerfüllbar ist. Zwei Gruppen von Kalkülen: Kalküle
8. Turingmaschinen und kontextsensitive Sprachen
8. Turingmaschinen und kontextsensitive Sprachen Turingmaschinen (TM) von A. Turing vorgeschlagen, um den Begriff der Berechenbarkeit formal zu präzisieren. Intuitiv: statt des Stacks bei Kellerautomaten
Anleitung zum Erstellen von Moodle-Quizfragen in Word
Anleitung zum Erstellen von Moodle-Quizfragen in Word Die Vorlagedateien Speichern Sie die.zip Datei an den gewünschten Ort und entpacken Sie diese. In dem neuen Ordner befinden sich nun folgende Dateien:
Qualifiziertes Feedback für Modul III WHRPO Hauptseminar. Name: Matrikelnummer: HF/NF. Veranstaltung (Titel): Lehrperson: LP/ECTS:
Qualifiziertes Feedback für Modul III WHRPO 2011 - Hauptseminar Lehrperson: LP/ECTS: Qualifiziertes Feedback für Modul III WHRPO 2011 - Blockveranstaltung Typ der Veranstaltung: Blockveranstaltung LP/ECTS:
Kurzanleitung. Webmail
Kurzanleitung zu Webmail Version vom 21.06.2011 Schulen Basel-Landschaft BKSD Direktionsinformatik Webmail - Kurzanleitung Inhaltsverzeichnis Inhaltsverzeichnis Inhaltsverzeichnis... 2 Zugriff von Extern...
Anleitung Elektronischer Rechtsverkehr des Kantons Thurgau
Amt für Informatik Anleitung Elektronischer Rechtsverkehr des Kantons Thurgau Version: 1.0 Datum: 08.03.2011 Ersteller: Ressort Sicherheit Zielgruppe: Bürgerinnen und Bürger sowie Anwältinnen und Anwälte
Cisco AnyConnect VPN Client - Anleitung für Windows XP
Cisco AnyConnect VPN Client - Anleitung für Windows XP 1 Allgemeine Beschreibung 2 2 Übersicht der notwendigen Schritte für Installation und Verwendung 2 3 Voraussetzungen für VPN Verbindungen mit Cisco
Konfigurationsanleitung. Microsoft Windows Live Mail 2009
Konfigurationsanleitung Microsoft Version02 Juni 2011 1 Starten Sie Windows Livemail. Zum Hinzufügen/Einrichten eines E-Mail-Kontos klicken Sie bitte auf E-Mail-Konto hinzufügen im linken Navigationsbereich.