Periodic Reporting for period 4 - LIPA (A unified theory of finite-state recognisability)

The main goal of the project is to produce a unified theory of finite state devices which recognise properties of words, trees, graphs, etc. The literature contains a wide array of results on this topic, but a unifying framework is lacking. The project proposes such a...