How the world computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings
edited by S. Barry Cooper, Anuj Dawar, Benedikt Lowe
Springer-Verlag, 2012
eBooks
Rich, Elaine
Automata, Computability, and Complexity: Theory and Applications
Pearson Prentice hall, 2009
Buku Teks
Berztiss, A.T.
Data structures: theory and practice
Academic Press, 1972
Buku Teks
McNaughton, Robert
Elementary computability, formal languages, and automata
Prentice-Hall, 1982
Buku Teks
Martin, John C.
Introduction to languages and the theory of computation
McGraw-HIll, 1991
Buku Teks