Automata in W-toposes, and general Myhill-Nerode theorems

DOI10.1007/978-3-031-66438-0_5MaRDI QIDQ6666775

Victor Iwaniack

Publication date: 20 January 2025

zbMATH Keywords

enriched categoriesTopoicategories of machines

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Adjoint machines, state-behavior machines, and duality
• Finite-memory automata
• On localization and stabilization for factorization systems
• Wellfounded trees in categories
• Enriched factorization systems
• Linear Automaton Transformations

This page was built for publication: Automata in W-toposes, and general Myhill-Nerode theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6666775)