By calling into question the implicit structural rules that are taken for granted in classical logic, substructural logics have brought to the fore new forms of reasoning with applications in many interdisciplinary areas of interest. Modalities, in the substructural setting, provide the tools to control and finetune the logical resource management. The focus of the workshop is on applications in the areas of interest to the ESSLLI community, in particular logical approaches to natural language syntax and semantics and the dynamics of reasoning. The workshop is held with the support of the Horizon 2020 MSCA-Rise project MOSAIC .

The aim of this course "Introduction to Automata Theory, Languages and Computation" is to give a detailed working explanation regarding each Mathematical model, its corresponding languages, and their provable equivalence. "Theory of Computation" has three major subdivisions namely