We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.FL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: Minimality Notions via Factorization Systems

Abstract: For the minimization of state-based systems (i.e. the reduction of the number of states while retaining the system's semantics), there are two obvious aspects: removing unnecessary states of the system and merging redundant states in the system. In the present article, we relate the two aspects on coalgebras by defining an abstract notion of minimality.
The abstract notion minimality and minimization live in a general category with a factorization system. We will find criteria on the category that ensure uniqueness, existence, and functoriality of the minimization aspects. The proofs of these results instantiate to those for reachability and observability minimization in the standard coalgebra literature. Finally, we will see how the two aspects of minimization interact and under which criteria they can be sequenced in any order, like in automata minimization.
Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Category Theory (math.CT)
DOI: 10.4230/LIPIcs.CALCO.2021.11
Cite as: arXiv:2106.07233 [cs.FL]
  (or arXiv:2106.07233v3 [cs.FL] for this version)

Submission history

From: Thorsten Wißmann [view email]
[v1] Mon, 14 Jun 2021 08:40:45 GMT (36kb,D)
[v2] Wed, 1 Sep 2021 17:31:04 GMT (48kb,D)
[v3] Wed, 22 Sep 2021 15:20:09 GMT (240kb,D)

Link back to: arXiv, form interface, contact.