Automata Minimization: a Functorial Approach

12/19/2017
by   Thomas Colcombet, et al.
0

In this paper we regard languages and their acceptors - such as deterministic or weighted automata, transducers, or monoids - as functors from input categories that specify the type of the languages and of the machines to categories that specify the type of outputs. Our results are as follows: A) We provide sufficient conditions on the output category so that minimization of the corresponding automata is guaranteed. B) We show how to lift adjunctions between the categories for output values to adjunctions between categories of automata. C) We show how this framework can be instantiated to unify several phenomena in automata theory, starting with determinization, minimization and syntactic algebras. We provide explanations of Choffrut's minimization algorithm for subsequential transducers and of Brzozowski's minimization algorithm in this setting.

READ FULL TEXT

page 1

page 2

page 3

page 4

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
08/08/2018

Input/Output Stochastic Automata with Urgency: Confluence and weak determinism

In a previous work, we introduced an input/output variant of stochastic ...
research
06/14/2021

Minimality Notions via Factorization Systems

For the minimization of state-based systems (i.e. the reduction of the n...
research
12/23/2018

Computations in Stochastic Acceptors

Machine learning provides algorithms that can learn from data and make i...
research
03/07/2022

Weakness Makes Muller Delay Games Hard

We show that solving delay games with winning conditions given by determ...
research
05/23/2020

Minimisation in Logical Form

Stone-type dualities provide a powerful mathematical framework for study...
research
06/21/2018

A connection between String Covers and Cover Deterministic Finite Tree Automata Minimization

Data compression plays a crucial part in the cloud based systems of toda...

Please sign up or login with your details

Forgot password? Click here to reset