Gewichtete Automaten und gewichtete Logiken für diskrete Strukturen

Ziel des Projektes ist die Untersuchung von gewichteten Automatenmodellen und geeigneten gewichteten Logiken für eine Reihe von verdegenen diskreten Strukturen. Klassische Resultate von Kleene und Büchi beschreiben das Verhalten von endlichen Automaten auf Wörtern durch rationale Ausdrücke und mit Hilfe von Formeln der Logik.在最近几年的信息化中，研究小组的一个成员将Verhalten endlicher Automaten auch auf anderen Strukturen wie teilweisen Ordnungen，Bildern or der Graphen intensiv untersucht und äquivalente Beschreibungen durch rationale Ausdrücke or der Logiken hergeletet。Gewichtete Automaten berücksichtigen zusätzlich mögliche Kosten，Zeitdauer，Verbrauch von Ressourcen oder die Wahrscheinlichkeit des Erfolgs von Transitionen; sie ermöglichen damit quantitative Aussagen über das Verhalten von Automaten.我正在设计一个完整的自动化模型，该模型适用于在西部、西部的垂直结构、图像和图形韦尔登。Ziele sind untertiary edliche Beschreibungen ihres quantitativen Verhaltens sowie Charakterisierungen mit Helfe von Verfeinerungen einer kürzlich entwickelten gewichteten Logik

Ziel des Projektes ist die Untersuchung von gewichteten Automatenmodellen und geeigneten gewichteten Logiken für eine Reihe von verschiedenen diskreten Strukturen. Klassische Resultate von Kleene und Büchi beschreiben das Verhalten von endlichen Automaten auf Wörtern durch rationale Ausdrücke und mit Hilfe von Formeln der Logik. In der Informatik wurde in den letzten Jahren von einer Reihe von Forschergruppen das Verhalten endlicher Automaten auch auf anderen Strukturen wie teilweisen Ordnungen, Bildern oder Graphen intensiv untersucht und äquivalente Beschreibungen durch rationale Ausdrücke oder Logiken hergeleitet. Gewichtete Automaten berücksichtigen zusätzlich mögliche Kosten, Zeitdauer, Verbrauch von Ressourcen oder die Wahrscheinlichkeit des Erfolgs von Transitionen; sie ermöglichen damit quantitative Aussagen über das Verhalten von Automaten. Im beantragten Projekt sollen geeignete Modelle von gewichteten Automaten auf endlichen und unendlichen Wörtern, Bäumen, verteilten Strukturen, Bildern und Graphen untersucht werden. Ziele sind unterschiedliche Beschreibungen ihres quantitativen Verhaltens sowie Charakterisierungen mit Hilfe von Verfeinerungen einer kürzlich entwickelten gewichteten Logik