An Introduction to the Theory of Automata

Paolo Ferragina is a professor of algorithmics and the director of the PhD program in Computer Science at the University of Pisa. Previous university appointments include Vice Rector of Applied Research and Innovation, President of the IT Center, and Vice Chair of the Department of Computer Science. His research is on designing algorithms and data structures for storing, compressing, mining, and retrieving information from Big Data, in collaboration with companies such as Google, Bloomberg, Yahoo!, and STMicroelectronics. He has received international awards for his research, including the "Best Land Transportation Paper Award" from the IEEE Vehicular Technology Society (1995); the EATCS Doctoral Dissertation Thesis Award (1997); the Philip Morris Award for Science and Technology (1997); the Yahoo! Faculty award (2007-2011); and the Google Faculty Research Award (in 2010, 2012 and 2016). He has held postdoctoral or visiting research positions at the Max-Planck-Institut für Informatik (Saarbrücken), the University of North Texas, the Courant Institute at New York University, AT&T, Yahoo!, Google, and IBM Research. He has been a committee member of the top international conferences in algorithmics and information retrieval, and an invited speaker at conferences such as CPM, SPIRE, ESA/ALGO, and ECIR. He has been a guest editor or area editor for journals such as Theoretical Computer Science, Information Retrieval, Theory of Computing Systems, the Journal of Graph Algorithms and Applications, and the Encyclopedia of Algorithms. Fabrizio Luccio is an emeritus professor of computer science at the University of Pisa. He received his Dr. Ing. degree in electrical engineering from the Politecnico di Milano in 1962. After industrial experience with Olivetti, he worked at MIT, the University of Southern California, and New York University, researching theoretical and algorithmic aspects of logical network synthesis. He has been at the University of Pisa since 1971, as a lecturer, professor of informatics, department chair, and coordinator of the PhD program. He was also responsible for international relations on development, and he actively supported UNESCO projects for the dissemination of informatics at university level in developing countries. He has been a visiting professor or scientist at the IBM T.J. Watson Research Center, the NTT LSI Laboratories, UCLA, the University of Illinois, the National University of Singapore, the University of Hawaii, and Carleton University in Ottawa. His main research interests are algorithm design in sequential, parallel, and distributed environments, and the relationship between abstract computational models and realistic computers and circuits. He is a Life Fellow of the IEEE.