Θεωρητική Πληροφορική ΙΙ
Βιβλία για περαιτέρω μελέτη
-
Bakhadyr Khoussainov, Anil Nerode, Automata Theory and its Applications, Springer Science+Business Media, LLC, 2001.
-
Christel Baier, Joost-Pieter Katoen, Principles of Model Checking, The MIT Press, 2008.
-
John Hopcroft, Rajeev Motwani, Jeffrey Ullman, Introduction
to Automata Theory, Languages, and Computation, Addison-Wesley, 3rd edition 2007.
-
Harry Lewis, Christos Papadimitriou, Elements
of the Theory of Computation, Prentice-Hall Inc., 2nd edition
1998.
-
Grzegorz Rozenberg, Arto Salomaa eds., Handbook of Formal Languages, volumes 1-3,
Springer-Verlag, Berlin, 1997.