Acknowledgements Introduction to the Theory of Computation is authored by Bowen Deng from the University of Science and Technology of China