Speaker Affiliation | Universität Trier |
Start | 19.02.2015, 08:30 Uhr |
Location | TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 161 |
Invited by | Prof. Dr.-Ing. Ina Schaefer |
In meinem Vortrag gehe ich dieser Frage anhand zweier NP-harter Probleme für deterministische endliche Automaten (DEA) nach. (1) Wir betrachten wir die Aufgabe, ein möglichst kurzes synchronisierendes Wort für einen DEA zu finden, also ein Wort, nach dessen Abarbeitung der Automat in einen eindeutig bestimmten Zustand gelangt ist, unabhängig von seinem Startzustand. (2) Wir fragen bei Eingabe zweier disjunkter Wortmengen X und Y nach einem DEA kleinstmöglicher Zustandsanzahl, der alle Wörter aus X akzeptiert, aber keines der Wörter aus Y. Für diese Probleme beantworten wir die Eingangsfrage durch eine mehrparametrische Analyse. |
Vacancies of TU Braunschweig
Career Service' Job Exchange
Merchandising
Term Dates
Courses
Degree Programmes
Information for Freshman
TUCard
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
P. O. Box: 38092 Braunschweig
GERMANY
Phone: +49 (0) 531 391-0