The following pages link to (Q5633929):
Displayed 6 items.
- On structure and representations of cyclic automata (Q897902) (← links)
- Soliton automata (Q909470) (← links)
- Zur Theorie der partiell-linearen Realisierungen endlicher Automaten (Q1215358) (← links)
- On the equivalence of Mealy-type and Moore-type automata and a relation between reducibility and Moore-reducibility (Q1239135) (← links)
- Test sets for the universal and existential closure of regular tree languages. (Q1400712) (← links)
- Reconstructing proofs at the assertion level (Q5210809) (← links)