Introduction to Automata Theory, Languages, and Computation

Mauricio Alberto Ortega-Ruíz is an Electrical Engineering graduated from UNAM at Mexico, with experience in technical support for electronics equipment, field service and training services. This experience accomplishes instrumentation equipment, photo-lab and automation industry. Mauricio's academic journey includes a M. Sc. in signal processing at the Imperial College of Science Technology and Medicine and a PhD at City University of London, both are UK Universities. His main Research interest is in AI applications for medical imaging analysis and particularly in digital histopathology for breast cancer grading, he has published Scientific papers on this topic and participated in the Automated Gleason Grand Challenge 2022 in which he developed Deep Learning methods for Prostate cancer image grading and obtained the 10th place in the final ranking. He is cofounder of DigPatho, a research group for the LATAM region. Besides his passion for Research in the medical image field he has also demonstrated interest in signal processing, and other imaging applications. He dedicates time to culture and music, and as an amateur violist, he was member of the Imperial College Chamber orchestra during his masters.

1 Introduction to Automata
2 Finite Automata and Regular Expressions
3 Computational Complexity
4 Context-Free Grammar and Languages
5 Pushdown Automata
6 Decidability
7 Turing Machines
8 Computability and Undecidability