Support Material:
- A Turing-Machine Simulator (Java applet)
-
The
MTA library has some 40 copies of
my book that covers the material of Introduction to the
Theory of Computation.
Here is an errata list for the first printing (2002).
The preface and full contents pages are here.- WHILE Integrated Development Environment:
A Windows-based interactive environment for experimenting with the WHILE language, a very simple programming language used for teaching theoretical concepts (inherited from Neil Jones's book on Computability and Complexity). This package will help students to absorb concepts of programming-language theory that we teach using this language as a vehicle.- A humbler alternative is the following WHILE-language interpreter implemented in LISP.
- WHILE Integrated Development Environment:
Research
Favourite topics:- Size-Change-based Termination Analysis
- Program analysis in general
- Programming languages as models of computation
- Efficiency of models with restricted access to storage
- Efficiency of algorithms and (mostly) lower bounds in various RAM models
- Turing machines (computability and complexity)
Annotated publication list (with links to some on-line available papers).
Computer-Science Links
(my contribution to PageRank)
Martin Tompa's famous article Figures of Merit, a (tongue in cheek) look at the ramifications of alphabetising authors' names, as is standard in Mathematics and Theoretical Computer Science
Ian Parberry's referee's guide for theoretical computer science
Advice for session chairs in conferences
Integrity under attack: the state of scholarly publishing is an important article by Douglas N. Arnold, SIAM preseident, on the damages caused by article-counting and citation-counting (combined with the flaws of human nature, in particular greed).
The Collection of Computer Science Bibliographies
SCIGEN: An Automatic Generator of Conference Papers
Computer-Scientific humour, at least some of which is worth the reading
Beyond Computer Science
Here are links to two groups that stand for important causes:
Monthly Quote
Maintenant que le génome est á peu près décrypté, on découvre avec étonnement que les hommes ont pratiquement le même génome que les vers de terre et les vers de terre sont vexés.
Boris Cyrulnik, l'Encyclopédie de la création.
Mailing address
Prof. Amir M. Ben-Amram
School of Computer Science
The Academic College of Tel-Aviv Yaffo
2 Rabenu Yeruham Str.
68182 Tel Aviv
Israel
fax: +972-3-6803342