Projekte des Fachgebiets


Laufende Projekte:

  1. Monoide mit automatischer Struktur (Monoids with automatic structure)
  2. Alternierende Automaten und Grammatiken
  3. CD-Systeme von Restart-Automaten
  4. Restart-Automaten auf Bäumen
  5. Zustandslose Restart-Automaten (Stateless Restarting Automata)
  6. Eigentliche Sprachen von Restart-Automaten (On Proper Languages of Restarting Automata)
  7. Cooperating Distributed Systems of Restarting Automata and Generalization of CD Grammar Systems
  8. McNaughton Sprachen (McNaughton languages)
  9. Transductions Computed by Systems of Restarting Automata

Abgeschlossene Projekte:

  1. Eingeschränkte Konfluenz und spezielle Vervollständigung
  2. Präfix-Reduktion und das verallgemeinerte Wortproblem für Gruppen
  3. Reduktionssysteme für partiell kommutative Monoide (Trace-Rewriting Systems)
  4. Kombinatorische Eigenschaften von durch Morphismen definierten Sprachen (Combinatorial properties of languages defined by morphisms)
  5. Mehrdeutigkeit kontext-freier Sprachen und Grammatiken (Ambiguity of context-free languages and grammars)
  6. Testmengen für den universellen und existentiellen Abschluß regulärer Baumsprachen (Test sets for the universal and existential closure of regular tree languages)
  7. Entwicklung und Implementierung eines experimentellen Systems für Wortersetzung (XSSR)
    (DFG-Projekt in Zusammenarbeit mit der Arbeitsgruppe von Herrn Prof. Dr. K. Madlener, Fachbereich Informatik der Universität Kaiserslautern)
  8. Invariant properties of string rewriting systems
  9. Die Sprache der grundreduzierbaren Terme (The language of ground reducible terms)
  10. Unifikation in Gleichheitstheorien
  11. Gutartige unendliche konvergente Wortersetzungssysteme: Ausdruckskraft und algorithmische Eigenschaften
  12. Konvergente Darstellungen algebraischer Strukturen
  13. McNaughton Sprachen (McNaughton languages)
  14. Church-Rosser Sprachen und wachsend kontext-sensitive Sprachen
  15. Homologische und homotopische Endlichkeitsbedingungen (Homological and homotopical finiteness conditions)
  16. Automatic, Hyperbolic and Related Semigroups
    (EU-Projekt)
  17. Restart-Automaten: Varianten, Abschlußeigenschaften und Komplexität von Entscheidungsproblemen
    (DFG-Projekt)