Theory of computing: a gentle introduction /Efim Kinber, Carl Smith