Pages that link to "Item:Q1224156"
From MaRDI portal
The following pages link to Adjoint machines, state-behavior machines, and duality (Q1224156):
Displaying 29 items.
- Varieties and covarieties of languages (extended abstract) (Q265785) (← links)
- Takeuchi's free Hopf algebra construction revisited. (Q456847) (← links)
- The dual equivalence of equations and coequations for automata (Q498397) (← links)
- Final and sequential behaviours of M-automata (Q731331) (← links)
- Recurrent neural network architecture with pre-synaptic inhibition for incremental learning (Q853278) (← links)
- Universal realization (Q1136842) (← links)
- Machines in a category (Q1142850) (← links)
- Foundations of system theory: The Hankel matrix (Q1146145) (← links)
- A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization (Q1193888) (← links)
- Foundations of system theory: Decomposable systems (Q1212896) (← links)
- Systematic approach to reduction and minimization in automata and system theory (Q1232389) (← links)
- Cost functors and optimal realization (Q1819936) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Categorical foundations for randomly timed automata (Q1884891) (← links)
- Nondeterministic syntactic complexity (Q2233426) (← links)
- Induction, coinduction, and adjoints (Q2842818) (← links)
- POLYNOMIAL SYSTEMS AS ADJOINT PROCESS MACHINES (Q3309679) (← links)
- Duality between reachability and observability for adjoint systems (Q3325551) (← links)
- Algebraic representation of dynamics and behavior for continuous-time linear systems (Q3468942) (← links)
- (Q4128724) (← links)
- ON THE ADJOINT SITUATIONS BETWEEN BEHAVIOUR AND REALIZATION (Q4141957) (← links)
- (Q4156359) (← links)
- (Q5109522) (← links)
- (Q5111267) (← links)
- Algebra-coalgebra duality in brzozowski's minimization algorithm (Q5410330) (← links)
- Automata Learning: A Categorical Perspective (Q5418974) (← links)
- Tree automata as algebras: minimisation and determinisation (Q5875346) (← links)
- Minimisation in logical form (Q6612779) (← links)
- Automata in W-toposes, and general Myhill-Nerode theorems (Q6666775) (← links)