Module 5: Theoretical Informatics (Supplement)
|
[Deutsch] |
| Books | Articles |
Journals | Links | Hands-On:
Experiments | Themes for Debate |
|
Books
|
- Aho, A.V.; Ullman, J.D. (1972): The theory of parsing, translation and
compiling. Volume I: Parsing. London: Prentice-Hall.
- Harrison, Michael A. (1978):
Introduction to Formal Language Theory. Reading (MA):
Addison-Wesley.
- Hodges, Andrew (1983): Alan Turing: the Enigma of
Intelligence. London: Simon & Schuster.
- Hopcroft,
John E.; Ullman, Jeffrey D. (1979): Introduction to Automata Theory,
Languages, and Computation. Reading (MA): Addison-Wesley.
- Hopcroft, John E.; Motwani, Rajeev;
Ullman, Jeffrey D. (2001):
Introduction to Automata Theory, Languages, and Computation.
Reading (MA): Addison-Wesley 2001.
- Leeuwen,
J. van, Ed. (1990): Formal Models and Semantics: Handbook of
Theoretical Computer Science, Vol. B. Amsterdam:
Elsevier.
- Lewis, H.R;, Papadimitriou, C.H. (1981): Elements of the theory of
computation. Englewood Cliffs (NJ): Prentice Hall.
- Linz, Peter (2001): An Introduction to Formal Languages and Automata.
Jones
and Bartlett Publishers Inc.
- Wand,
Mitchell (1984): Induction, Recursion and Programming. Amsterdam: North Holland.
|
| Articles |
|
-
Hutton,G.; Meijer, E. (1998): Monadic parsing in Haskell. Journal of Functional Programming,
8 (4), 437-444.
-
Krol, Marina (1999): Have We Witnessed a Real-Life
Turing Test? IEEE: Computer, 3/99, 27-30.
-
Perry, Lynellen D. S. (1988): The Turing test. Crossroads May 1998,
Volume 4, Issue 4, 22-23.
-
Rambidi, Nikolay G. (1992): An Approach to Computational
Complexity: Nondiscrete Biomolecular Computing. IEEE Computer, 12/92.
51-54.
-
Shieber, Stuart M. (1994): Lessons from a restricted Turing test .
Communications of the ACM June 1994, Volume 37 Issue 6, 70-78.
|
|
| Journals |
|
-
|
|
| Links |
|
|
|
|
| Hands-On:
Experiments |
|
|
|
|
|
|
|