2023-03-31: Clemens Kupke (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Clemens Kupke (MSP)

Towards a categorical representation of thin trees

Abstract

Deterministic Automata on infinite trees lack expressivity. The situation is different when restricting one’s attention to so-called thin trees where every regular language can be seen as the language of a so-called unambiguous automaton. In my talk I will explain our motivation for why we are interested in unambiguous tree automata and I will present work in progress that aims to understand thin trees more abstractly. This is based on ongoing joint work with Corina Cirstea, Jade Master and Alexandre Goy.

2023-03-31 15:00:00 UTC
LT711 and Online