Projekt : Definition formaler Sprachen über Rekurrenzgleichungen
|
|
|
|
|
Prof. Dr. Jantzen, Professor im Ruhestand
Laufzeit: seit 11/1999
Schlagworte: Sprachen, formale; Fixpunkte; Rekurrenzgleichungen; Terme; Operationen
Ziele:
Reguläre Mengen und kontextfreie Sprachen lassen sich als minimale Fixpunkte von Gleichungen deuten. Es soll hier untersucht werden, wie sich diese Ergebnisse verallgemeinern lassen, wenn die verwendeten Operationen allgemeinerer Art sind und die sonst üblichen Monotonieeigenschaften nicht immer erfüllen. Frühere Untersuchungen zeigten, wie auf diese Weise über Rekurrenzgleichungen mit einfachen Operationen Sprachen definiert werden können, die nicht mehr kontextfrei sind. Es sollen Eigenschaften von Strukturen bestimmt werden, in denen sinnvolle Definitionen der Fixpunkt- und Rekurrenzgleichungen formulierbar sind. Das Projekt wird auch in 2005 fortgeführt.
Letzte Änderung: 17:40 19.05.2011 Impressum