Introduction to Computer Theory