Minimisation in Logical Form

05/23/2020
by   Nick Bezhanishvili, et al.
0

Stone-type dualities provide a powerful mathematical framework for studying properties of logical systems. They have recently been fruitfully explored in understanding minimisation of various types of automata. In Bezhanishvili et al. (2012), a dual equivalence between a category of coalgebras and a category of algebras was used to explain minimisation. The algebraic semantics is dual to a coalgebraic semantics in which logical equivalence coincides with trace equivalence. It follows that maximal quotients of coalgebras correspond to minimal subobjects of algebras. Examples include partially observable deterministic finite automata, linear weighted automata viewed as coalgebras over finite-dimensional vector spaces, and belief automata, which are coalgebras on compact Hausdorff spaces. In Bonchi et al. (2014), Brzozowski's double-reversal minimisation algorithm for deterministic finite automata was described categorically and its correctness explained via the duality between reachability and observability. This work includes generalisations of Brzozowski's algorithm to Moore and weighted automata over commutative semirings. In this paper we propose a general categorical framework within which such minimisation algorithms can be understood. The goal is to provide a unifying perspective based on duality. Our framework consists of a stack of three interconnected adjunctions: a base dual adjunction that can be lifted to a dual adjunction between coalgebras and algebras and also to a dual adjunction between automata. The approach provides an abstract understanding of reachability and observability. We illustrate the general framework on range of concrete examples, including deterministic Kripke frames, weighted automata, topological automata (belief automata), and alternating automata.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/02/2021

Coalgebras for Bisimulation of Weighted Automata over Semirings

Weighted automata are a generalization of nondeterministic automata that...
research
02/15/2019

Coalgebra Learning via Duality

Automata learning is a popular technique for inferring minimal automata ...
research
07/04/2019

Revisiting local time semantics for networks of timed automata

We investigate a zone based approach for the reachability problem in tim...
research
06/13/2019

Two modes of recognition: algebra, coalgebra, and languages

The aim of the paper is to build a connection between two approaches tow...
research
02/14/2022

Coalgebraic Semantics for Nominal Automata

This paper provides a coalgebraic approach to the language semantics of ...
research
12/19/2017

Automata Minimization: a Functorial Approach

In this paper we regard languages and their acceptors - such as determin...
research
03/28/2018

Unreasonable Effectivness of Deep Learning

We show how well known rules of back propagation arise from a weighted c...

Please sign up or login with your details

Forgot password? Click here to reset