Coalgebraic minimization of automata by initiality and finality
type: Item
instance of: scholarly article
title: Coalgebraic minimization of automata by initiality and finality
zbMATH Open document ID: 1401.68217
author: Jurriaan Rot
publication date: 2018-04-23T00:00:00Z
Mathematics Subject Classification ID: 68Q70
Mathematics Subject Classification ID: 18B20
zbMATH DE Number: 6862933
zbMATH Keywords: minimization
zbMATH Keywords: automata
zbMATH Keywords: coalgebra
Wikidata QID: Q113317630
MaRDI profile type: Publication
full work available at URL: j.entcs.2016.09.042
OpenAlex ID: W2528624809
cites work: A Coalgebraic Perspective on Minimization and Determinization
cites work: Q4693062
cites work: Minimization via Duality
cites work: Algebra-coalgebra duality in brzozowski's minimization algorithm
cites work: Brzozowski’s Algorithm (Co)Algebraically
cites work: Q5725992
cites work: DFA minimization: double reversal versus split minimization algorithms
cites work: Structural induction and coinduction in a fibrational setting
cites work: Q4045961
cites work: Q3862379
cites work: Trace semantics via determinization
cites work: Coalgebraic Modal Logic Beyond Sets
cites work: Coalgebraic Trace Semantics via Forgetful Logics
cites work: Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata
cites work: Coalgebraic semantics of modal logics: an overview
cites work: Q4533390
cites work: Coalgebraic constructions of canonical nondeterministic automata
cites work: Universal coalgebra: A theory of systems
cites work: Q3644388
cites work: Duality of Equations and Coequations via Contravariant Adjunctions
cites work: Q4848749
DOI: 10.1016/J.ENTCS.2016.09.042
Recommended article: Coalgebraic Automata Theory: Basic Results
Recommended article: A Coalgebraic Perspective on Minimization and Determinization
Recommended article: Q5109522
Recommended article: Q4580203
Recommended article: Q4251915
Recommended article: Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
Recommended article: Generalizing determinization from automata to coalgebras
Recommended article: Coalgebraic constructions of canonical nondeterministic automata
Recommended article: Minimisation of automata
Recommended article: Automata and fixed point logic: a coalgebraic perspective
description: scientific article; zbMATH DE number 6862933