Marwan Mostafa

M.Sc.
Wissenschaftlicher Mitarbeiter

Kontakt

Marwan Mostafa, M.Sc.
E-6 Elektrische Energietechnik
  • Elektrische Energietechnik
Sprechzeiten
nach Vereinbarung/ by appointment
Harburger Schloßstraße 36,
21079 Hamburg
Gebäude HS36, Raum C3 0.013
Tel: +49 40 42878 4097
Logo

Forschungsprojekt

iNeP
Integrierte Netzplanung der Sektoren Strom, Gas und Wärme

iNeP

Integrierte Netzplanung der Sektoren Strom, Gas und Wärme

Bundesministerium für Wirtschaft und Klimaschutz (BMWK); Laufzeit: 2021 bis 2026

Publikationen

TUHH Open Research (TORE)

2023

2022

2021

Lehrveranstaltungen

Stud.IP
zur Veranstaltung in Stud.IP Studip_icon
Automata Theory and Formal Languages (GÜ)
Untertitel:
This course is part of the module: Automata Theory and Formal Languages
Semester:
SoSe 23
Veranstaltungstyp:
Übung (Lehre)
Veranstaltungsnummer:
lv507_s23
DozentIn:
Prof. Dr. Matthias Mnich, M. Sc.
Beschreibung:
<ol><li>Propositional logic, Boolean algebra, propositional resolution, SAT-2KNF</li><li>Predicate logic, unification, predicate logic resolution</li><li>Temporal Logics (LTL, CTL)</li><li>Deterministic finite automata, definition and construction</li><li>Regular languages, closure properties, word problem, string matching</li><li>Nondeterministic automata: <br />Rabin-Scott transformation of nondeterministic into deterministic automata</li><li>Epsilon automata, minimization of automata,<br />elimination of e-edges, uniqueness of the minimal automaton (modulo renaming of states)</li><li>Myhill-Nerode Theorem: <br />Correctness of the minimization procedure, equivalence classes of strings induced by automata<br /></li><li>Pumping Lemma for regular languages:<br />provision of a tool which, in some cases, can be used to show that a finite automaton principally cannot be expressive enough to solve a word problem for some given language<br /></li><li>Regular expressions vs. finite automata:<br />Equivalence of formalisms, systematic transformation of representations, reductions<br /></li><li>Pushdown automata and context-free grammars:<br />Definition of pushdown automata, definition of context-free grammars, derivations, parse trees, ambiguities, pumping lemma for context-free grammars, transformation of formalisms (from pushdown automata to context-free grammars and back)<br /></li><li>Chomsky normal form</li><li>CYK algorithm for deciding the word problem for context-free grammrs</li><li>Deterministic pushdown automata</li><li>Deterministic vs. nondeterministic pushdown automata:<br />Application for parsing, LL(k) or LR(k) grammars and parsers vs. deterministic pushdown automata, compiler compiler<br /></li><li>Regular grammars</li><li>Outlook: Turing machines and linear bounded automata vs general and context-sensitive grammars</li><li>Chomsky hierarchy</li><li>Mealy- and Moore automata:<br />Automata with output (w/o accepting states), infinite state sequences, automata networks</li><li>Omega automata: Automata for infinite input words, Büchi automata, representation of state transition systems, verification w.r.t. temporal logic specifications (in particular LTL)<br /></li><li>LTL safety conditions and model checking with Büchi automata, relationships between automata and logic<br /></li><li>Fixed points, propositional mu-calculus</li><li>Characterization of regular languages by monadic second-order logic (MSO)<br /></li></ol>
Leistungsnachweis:
336 - Automata Theory and Formal Languages<ul><li>336 - Automata Theory and Formal Languages: Klausur schriftlich</li></ul>
ECTS-Kreditpunkte:
2
Weitere Informationen aus Stud.IP zu dieser Veranstaltung
Heimatinstitut: Institut für Algorithmen und Komplexität (E-11)
In Stud.IP angemeldete Teilnehmer: 306
Anzahl der Dokumente im Stud.IP-Downloadbereich: 594

Betreute Abschlussarbeiten

laufende
beendete

2022

  • Barthelme, J. (2022). Technisch-ökonomische Systemmodellierung und -anlayse eines urbanen Quatiers hinsichtlich des Einsatz von Wasserstoff als primärer Energieträger.