Ehemaliges Fachgebiet für Automatentheorie und Formale Sprachen

Prof. Dr. Hermann Walter †

Prof. Hermann Walter interessierte sich für Fragestellungen der Theoretischen Informatik aus den Gebieten Komplexitäts- und Berechenbarkeitstheorie, Formale Sprachen und Grammatiken, Transitionssysteme und Prozessalgebren.

Ulrike Brandt, Hermann K.-G. Walter: Unsolvability Cores in Classification Problems. Erscheint in Special issue LMCS – CCA 2013

Ulrike Brandt, Hermann K.-G. Walter: Cohesiveness in Promise Problems. ITA 47(4): 351-369 (2013). Appendix. [Journal]

Ulrike Brandt, Hermann K.-G. Walter: On testing output faults in the McCluskey Fault Model. Erscheint in Journal of Automata, Languages and Combinatorics 17

Klaus Ambos-Spies, Ulrike Brandt, Martin Ziegler: Real Benefit of Promises and Advice. CiE 2013: 1-11

Ulrike Brandt, Hermann K.-G. Walter: The Defect of Language Tables. Technischer Bericht TUD-CS-2005-5, Technische Universität Darmstadt, 2005

Ulrike Brandt, Ghislain Delpine und Hermann K.-G. Walter: Weightreducing Grammars and Ultralinear Languages. ITA 38(1): 19-25 (2004)

Ulrike Brandt: Wie fängt man Mäuse?. Technischer Bericht AFS-03/03, Technische Universität Darmstadt, 2003

Ulrike Brandt, Hermann K.-G. Walter: The Cocke-Younger-Kasami Algorithm –Revised-. Bulletin of the EATCS 74: 193-204 (2001)

Ulrike Brandt, Gerd Hofmeister: Optimale Basissysteme. Mainzer Seminarberichte Additive Zahlentheorie 3: 41-50 (1993), herausgegeben von M. Djawadi, E. Härtner, G. Hofmeister

Ulrike Brandt: Abschätzungen für Kontinuanten. Mainzer Seminarberichte Additive Zahlentheorie 3: 7-40 (1993), herausgegeben von M. Djawadi, E. Härtner, G. Hofmeister

Ulrike Brandt: Number Representations and Registers. Elektronische Informationsverarbeitung und Kybernetik 28(4): 197-212 (1992)

Ulrike Brandt: Index Sets in the Arithmetical Hierarchy. Annals of Pure and Applied Logic 37: 101-110 (1988)

Ulrike Brandt: The position of Index Sets of Identifiable Sets in the Arithmetical Hierarchy (wird in neuem Tab geöffnet). Information and Control 68: 185-195 (1986)

Ulrike Brandt, Hermann K.-G. Walter : Complete Language Tables. Papers on Automata and Languages VIII., Department of Mathematics, Karl-Marx-University of Economics, Budapest, ed. I. Peak, 1986-3, 13-23

Hermann K.-G. Walter: A Simple Proof of Valiant's Lemma. ITA 20(2): 183-190 (1986)

Hermann K.-G. Walter: Die Verwandtschaft kontextfreier Grammatiken. Computing 22: 31 – 58 (1979)

Hermann K.-G. Walter: Invariants of Grammartransformations. FCT 1979: 496-507

Hermann K.-G. Walter, Joannis Keklikoglou, Werner Kern: The Behaviour of Parsing Time under Grammar Morphisms. ITA 12(2): 83 – 97 (1978)

Hermann K.-G. Walter: Über lineare Simulierbarkeit endlicher Automaten. Elektronische Informationsverarbeitung und Kybernetik 13(1/2): 39-53 (1977)

Hermann K.-G. Walter: Structural Equivalence of Context-Free Grammar Forms is Decidable. ICALP 1977: 539-553

Herrmann K.-G. Walter: Grammarforms and Grammarhomomorphisms. Acta Inf. 7: 75 – 93 (1976)

Hermann K.-G. Walter: Die relationale Äquivalenz von Automaten. Elektronische Informationsverarbeitung und Kybernetik 12(3): 123-131 (1976)

Hermann K.-G. Walter: Topologies on Formal Languages. Mathematical Systems Theory 9: 142 – 158 (1975)

Juris Hartmanis, Hermann K.-G. Walter: Group Theoretic Charactrization of Linear Permutation Automata. Journal of Computer and System Sciences 7: 168 – 188 (1973)

Hermann K.-G. Walter: Inhibitionsfelder (wird in neuem Tab geöffnet). Acta Inf. 1: 253-269 (1972)

Hermann K.-G. Walter: Mathematische Modelle für Neuronennetze. Methoden und Verfahren der mathematischen Physik, Band 10, Bibliographisches Institut AG, 1972

Hermann K.-G. Walter: Verallgemeinerte Pullbackkonstruktionen bei Semi-Thuesystemen und Grammatiken. Elektronische Informationsverarbeitung und Kybernetik 6(4/5): 239 – 254 (1970)

Wolfgang Stucky, Hermann K.-G. Walter: Minimal Linear Realizations of Autonomous Automata. Information and Control 16(1): 66-84 (1970)

V. Claus, Hermann K.-G. Walter: Zerlegungen von Semi-Thue-Systemen. Computing 4: 107 – 124 (1969)

Hermann K.-G. Walter: Pullbackkonstruktionen bei Semi-THUE-Systemen. Elektronische Informationsverarbeitung und Kybernetik 4: 144-145 (1968)

Helmut Waldschmidt, Hermann K.-G. Walter: Grundzüge der Informatik II, BI-Wissenschaftsverlag, Mannheim 1985

Helmut Waldschmidt, Hermann K.-G. Walter: Grundzüge der Informatik I, BI-Wissenschaftsverlag, Mannheim 1984

Heinrich Becker, Hermann K.-G. Walter: Formale Sprachen und Grammatiken, Vieweg Verlag, Braunschweig 1977

Günter Hotz, Hermann K.-G. Walter: Automatentheorie und Formale Sprachen, II. Endliche Automaten, BI- Hochschulskripten, Bd. 822/822a, BI-Wissenschaftsverlag, Mannheim 1968

Günter Hotz, Hermann K.-G. Walter: Automatentheorie und Formale Sprachen, I. Turingmaschinen und rekursive Funktionen, BI-Hochschulskripten, Bd. 822/822a, BI-Wissenschaftsverlag, Mannheim 1968