Work

A Congruence-based Perspective on Automata Minimization Algorithms

Year: 2019

Type: conference-paper

Abstract: In this work we use a framework of finite-state automata constructions based on equivalences over words to provide new insights on the relation between well-known methods for computing the minimal deterministic automaton of a language.

Source: Hispana

DOI: 10.4230/lipics.mfcs.2019.77

Authors: Ganty, Pierre, Gutiérrez, Elena, Valero, Pedro

Institutions: Madrid Institute for Advanced Studies, IMDEA Software Institute, Universidad Politécnica de Madrid

Language: English

Topic: semigroups and automata theory

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: Ministerio de Economía y Competitividad, Ministerio de Asuntos Económicos y Transformación Digital, Gobierno de España

Award: G3816281291

OpenAlex ID: W2952506516

FWCI: 0.257

Cites: 14

Cited by: 2

Related to: 10