The following pages link to (Q3809280):
Displaying 7 items.
- Automaton synthesis from a nonformal specification (Q1905170) (← links)
- On the synthesis of minimal sources (Q3125976) (← links)
- (Q3493238) (← links)
- Behaviouristic automata. II. The synthesis problem (Q3976966) (← links)
- (Q4151160) (← links)
- Automated Generation of BSP Automata (Q4598934) (← links)
- A general architecture of oritatami systems for simulating arbitrary finite automata (Q5918272) (← links)