2023-07-05: Anton Chernev (University of Groningen)

Mon, 3 Feb 2025 20:36:08 +0000

Anton Chernev (University of Groningen)

A dual adjunction between Ω-automata and Wilke algebras

Abstract

The notion of ω-regular language captures the idea of a regular language that consists of infinite words. The most standard type of automata for ω-regular languages are called Büchi automata. Ω-automata are another type of automata for ω-regular languages that, instead of infinite words, read pairs of finite words, called lassos, that represent ultimately periodic words. We study the categorical relationship between Ω-automata and Wilke algebras – the latter are algebraic structures recognising ω-regular languages. We present a chain of adjunctions starting from the category of Ω-automata without initial states and ending with the dual of the category of quotients of the free Wilke algebra. This is joint work with Helle Hvid Hansen (University of Groningen) and Clemens Kupke (University of Strathclyde).

2023-07-05 11:00:00 UTC
GH 513 and Online