Pages that link to "Item:Q5410330"

The following pages link to Algebra-coalgebra duality in brzozowski's minimization algorithm (Q5410330):

Displaying 25 items.

• Varieties and covarieties of languages (extended abstract) (Q265785) (← links)
• On continuous nondeterminism and state minimality (Q283735) (← links)
• Concurrent Kleene algebra with tests and branching automata (Q299205) (← links)
• The dual equivalence of equations and coequations for automata (Q498397) (← links)
• Promise problems solved by quantum and classical finite automata (Q511009) (← links)
• Quantitative simulations by matrices (Q729815) (← links)
• Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
• Coalgebraic minimization of automata by initiality and finality (Q1744392) (← links)
• Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
• Weighted automata are compact and actively learnable (Q2032169) (← links)
• Bisimulation metrics and norms for real-weighted automata (Q2064519) (← links)
• Regular Varieties of Automata and Coequations (Q2941177) (← links)
• Equations and Coequations for Weighted Automata (Q2946360) (← links)
• Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
• (Q3121518) (← links)
• Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
• A congruence-based perspective on automata minimization algorithms (Q5092441) (← links)
• (Q5101337) (← links)
• Singular value automata and approximate minimization (Q5108539) (← links)
• (Q5109522) (← links)
• (Q5111267) (← links)
• Automata Learning: A Categorical Perspective (Q5418974) (← links)
• Stone duality, topological algebra, and recognition. (Q5964103) (← links)
• Minimisation in logical form (Q6612779) (← links)
• Canonical automata via distributive law homomorphisms (Q6653763) (← links)