Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß


Projekt : Allgemeine Charakterisierung von Sprachklassen und Ableitungssystemen

This page is also available in English. Cette page existe aussi en Français. Ésta página también existe en Español. Această pagină este disponibilă şi în limba
                  Română


Prof. Dr. Kudlek, Professor
Dr. Alexandru Mateescu (Bukarest, Turku)
Prof. Dr. Virgil Emil Căzănescu (Bukarest)

Laufzeit: seit 1975

Schlagworte: Formale Sprachen, Wortersetzungssysteme, Sprachfamilien, Ableitungssysteme

Ziele:

Untersuchung von grundlegenden generativen Methoden zur Charakterisierung von Sprachfamilien und allgemeinen Methoden bei Ableitungen in formalen Systemen, insbesonders der Eigenschaften von rationalen, linearen und algebraischen Sprachfamilien bezüglich "verteilter Katenation". Es wurde gezeigt, dass die Sprachfamilien von rationalen und erkennbaren Mengen mit dieser Operation nicht identisch sind. Ferner wurde eine analoge Untersuchung für allgemeinere Operationen begonnen, die durch Kombination von Katenation und Shuffle entstehen, und eine vollständige Hierarchie solcher Sprachfamilien aufgestellt. Ferner wurden kontextuelle Grammatiken mit anderen Operationen als Katenation sowie schwach kontextsensitive Sprachen untersucht. Ferner wurden Sprachfamilien mit zugrunde liegender kommutativer Operation, speziell Sprachen von Multisets, auf Mächtigkeit, Eigenschaften, und Zusammenhang mit Petri-Netzen untersucht.

Publikationen:

  1. Manfred Kudlek
    Characterization of Derivation Sets of Formal Systems
    (1. GI-Fachtagung Automatentheorie und Formale Sprachen, LNCS 2 , pp. 156-165, Springer, 1973)
  2. Manfred Kudlek
    Comparing Several Ways of Context-independent Parallel Rewriting
    (4. Jahrestagung der GI, LNCS 26, pp. 122-130, Springer, 1975)
  3. Manfred Kudlek, Miroslav Novotný
    On a Reducing Operator for Combinatorial Systems
    (IC 37, pp. 197-206, 1978)
  4. Manfred Kudlek
    Reducing Operators for General Formal Systems
    (IfI-Bericht 19, 21 p., XI 1975)
  5. Manfred Kudlek, Miroslav Novotný
    Reducing Operators for Normed General Formal Systems
    (MFCS'77, LNCS 53, pp. 350-358, Springer, 1977)
  6. Manfred Kudlek
    Context Free Normal Systems
    (MFCS'79, LNCS 74, pp. 346-353, Springer, 1979)
  7. Manfred Kudlek
    EON-Systems
    (Proceedings of the Workshop on Algorithms and Computing Theory, Poznan, Sept. 8-12, pp. 18-19, 1980)
  8. Matthias Jantzen, Manfred Kudlek
    Homomorphic Images of Sentential Form Languages Defined by Semi-Thue Systems
    (Record of the Second Conference on Foundations of Software Technology and Theoretical Computer Science, pp. 126-135, Bombay, 1982)
  9. Manfred Kudlek
    Indian Parallel Systems
    (Record of the Second Conference on Foundations of Software Technology and Theoretical Computer Science, pp. 283-289, Bombay, 1982)
  10. Matthias Jantzen, Manfred Kudlek
    Homomorphic Images of Sentential Form Languages Defined by Semi-Thue Systems
    (FBI-Bericht 89, 92 p., II 1983)
  11. Manfred Kudlek
    Languages Defined by Semi-Thue and Regular Systems
    (Colloquia Mathematica Societatis János Bolyai 42. Algebra, Combinatorics and Logic in Computer Science, Györ (Hungary), János Bolyai Society and North Holland, pp. 537-553, 1986)
  12. Matthias Jantzen, Manfred Kudlek
    Homomorphic Images of Sentential Form Languages Defined by Semi-Thue Systems
    (TCS 33, pp. 13-43, 1984)
  13. Manfred Kudlek
    Languages Defined by Context-free Normal Systems
    (Record of the Third Conference on Foundations of Software Technology and Theoretical Computer Science, pp. 539-549, Bombay, 1983)
  14. Manfred Kudlek
    Languages Defined by Deterministic Semi-Thue Systems
    (Topics in the Theoretical Bases and Applications of Computer Science, Proceedings Fourth Hungarian Computer Science Conference, Akademiai Kiádo, pp. 41-52, 1986)
  15. Manfred Kudlek
    Languages Defined by Indian Parallel Systems
    (The Book of L, pp. 233-243, Springer, 1986)
  16. Manfred Kudlek
    Survey and Comparison of Basic Language Generating Devices
    (RAIRO, Vol. 24, No. 5, pp. 489-508, 1990)
  17. Manfred Kudlek
    Homomorphic Images of Sentential Form Languages Defined by Regular Systems
    (FBI-Bericht 72, 35 p., III 1986)
  18. Manfred Kudlek
    Homomorphic Images of Sentential Form Languages Defined by Regular Systems
    (Papers on Automata and Languages IX, Department of Mathematics, Karl Marx University of Economics, Budapest, 1987-2, pp. 47-90, 1987)
  19. Matthias Jantzen, Manfred Kudlek, Klaus-Jörn Lange, Holger Petersen
    Dyck1-reductions of Context-free Languages
    (LNCS 278, pp. 218-227, Springer, 1987)
  20. Matthias Jantzen, Manfred Kudlek, Klaus-Jörn Lange, Holger Petersen
    Dyck1-reductions of Context-free Languages
    (Computers and Artificial Intelligence, Vol. 9, No. 1, pp. 1-18, 1990)
  21. Manfred Kudlek
    Deterministic Indian Parallel Systems
    (A Perspective in Theoretical Computer Science, pp. 121-133, World Scientific, 1989)
  22. Manfred Kudlek
    Dead Word Languages and Adult Languages
    (PU.M.A. Ser. A, Vol. 1, No. 3-4, pp. 343-355, 1991)
  23. Manfred Kudlek
    Dead Word Languages and Adult Languages
    (Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Bericht 9303 '5. Tagung Küsteninformatik', ed. P. Kandzia, M. Ameskamp, pp. 71-76, 1993)
  24. Manfred Kudlek
    General Formal Systems
    (In: Developments in Language Theory, ed. G. Rozenberg, Arto Salomaa, pp. 461-471, World Scientific, 1994)
  25. Manfred Kudlek
    General Formal Systems
    (Proceedings of the International Conference Automata and Formal Languages VII, Publ. Math. Debrecen 48/3-4, pp. 349-360, 1996)
  26. Manfred Kudlek, Alexandru Mateescu
    Distributed Catenation and Chomsky Hierarchy
    (LNCS 965, pp. 313-322, 1995)
  27. Manfred Kudlek, Alexandru Mateescu
    Rational and Algebraic Languages with Distributed Catenation
    (In: Developments in Language Theory II, At the Crossroads of Mathematics, Computer Science and Biology, ed. J. Dassow, G. Rozenberg, Arto Salomaa, pp. 129-138, World Scientific, 1996)
  28. Manfred Kudlek
    Generalized Iteration Lemmata
    (PU.M.A., Vol. 6 No. 2, pp. 211-216, 1995)
  29. Manfred Kudlek, Alexandru Mateescu
    On Distributed Catenation
    (FBI-Bericht 182/95, 23 p., XI 1995)
  30. Manfred Kudlek, Alexandru Mateescu
    On Distributed Catenation
    (TCS 180 (1-2), pp. 341-352, 1997)
  31. Manfred Kudlek, Alexandru Mateescu
    On Mix Operation
    (LNCS 1218, pp. 430-439, 1997)
  32. Manfred Kudlek, Alexandru Mateescu
    Rational, Linear and Algebraic Languages with Mix Operation
    (TUCS Technical Report 105, 20 p., 1997)
  33. Manfred Kudlek, Solomon Marcus, Alexandru Mateescu
    Contextual Grammars with Distributed Catenation and Shuffle
    (TUCS Technical Report 103, 24 p., 1997)
  34. Manfred Kudlek, Solomon Marcus, Alexandru Mateescu
    Contextual Grammars with Distributed Catenation and Shuffle
    (LNCS 1279, pp. 269-280, 1997)
  35. Manfred Kudlek, Solomon Marcus, Alexandru Mateescu
    Contextual Grammars with Distributed Catenation and Shuffle
    (FBI-Bericht 200/97, 20 p., VI 1997)
  36. Manfred Kudlek, Alexandru Mateescu
    Rational, Linear and Algebraic Languages with Mix Operation
    (FBI-Bericht 199/97, 17 p., VI 1997)
  37. Manfred Kudlek
    Mix Operation with Catenation and Shuffle
    (Proceedings DLT'97, ed. Symeon Bozapalidis, Aristotle University Thessaloniki, pp. 387-398, 1998)
  38. Manfred Kudlek, Alexandru Mateescu
    On Rational, Linear and Algebraic Languages Defined by Mix Operation
    (PU.M.A., vol. 11 nr. 2, pp. 317-327, 2000)
  39. Manfred Kudlek, Carlos Martín Vide, Alexandru Mateescu
    An Infinite Hierarchy of Mildly Context-sensitive Families of Languages
    (TUCS Technical Report 163, 17 p., 1998)
  40. Manfred Kudlek, Carlos Martín Vide, Alexandru Mateescu
    An Infinite Hierarchy of Mildly Context-sensitive Families of Languages
    (In: Issues in Mathematical Linguistics: a Workshop, ed. C. Martín Vide, pp. 53-71, Benjamins, 1999)
  41. Manfred Kudlek, Alexandru Mateescu
    Algebraic, Linear and Rational Languages Defined by Mix Operation
    (FI, vol 33. no. 3, pp. 249-264, 1998)
  42. Manfred Kudlek, Alexandru Mateescu
    Distributed Catenation - An Overview (MFCS'98 Workshop 'Mathematical Linguistics' - Proceedings, FBI-Bericht 213/98, pp. 97-106, VII 1998)
  43. Manfred Kudlek, Carlos Martín Vide, Alexandru Mateescu, Victor Mitrana
    Context and the Cocept of Mild Context-sensitivity
    (Linguistics and Philosophy, vol. 26, nr. 6, pp. 703-725, 2003)
  44. Manfred Kudlek, Victor Mitrana
    New Hierarchies of Mildly Context-sensitive Languages
    (FBI-Bericht 249/03, 10 p., II 2003)
  45. Manfred Kudlek
    On Languages of Cyclic Words
    (Proceedings of the Workshop on Membrane Computing July 17-22, 2003, eds. A. Alhazov, C. Martín Vide, Gh. Păun, Reports RGML 28/03, pp. 293-303, 2003)
  46. Manfred Kudlek
    Iteration Lemmata for Rational, Linear, and Algebraic Languages over Algebraic Structures with Several Binary Operations
    (In: Formal Models, Languages and Applications, eds. K.G. Subramanian, K. Rangarajan, M. Mukund, pp. 226-234, World Scientific, 2006)
  47. Matthias Jantzen, Manfred Kudlek, Georg Zetzsche
    Language Classes Defined by Concurrent Finite Automata
    (FI, vol. 85 (1-4), pp. 267-280, 2008)
  48. Manfred Kudlek, Patrick Totzke, Georg Zetzsche
    Multiset Storage Automata
    (Proc. of CS&P'2008, eds. G. Lindemann, H.-D. Burkhard, L. Czaja, W. Penczek, A. Salwicky, H. Schlingloff, A. Skowron, Z. Suraj, Humboldt-Universität zu Berlin, Informatik-Bericht Nr. 225, vol 2, pp. 265-277, 2008)

Letzte Änderung: 17:40 19.05.2011
Impressum