Introduction to computer theory