Ehemaliges Fachgebiet für Automatentheorie und Formale Sprachen
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