The following pages link to (Q4028905):
Displaying 9 items.
- On the bound of the synchronization delay of a local automaton (Q1275089) (← links)
- Algorithms finding the order of local testability of deterministic finite automaton and estimations of the order (Q1978707) (← links)
- A characterization of constant-time cellular automata computation (Q2640353) (← links)
- STRICT LOCAL TESTABILITY OF THE FINITE CONTROL OF TWO-WAY AUTOMATA AND OF REGULAR PICTURE DESCRIPTION LANGUAGES (Q3361892) (← links)
- (Q3484371) (← links)
- (Q3783588) (← links)
- (Q4474160) (← links)
- (Q4782722) (← links)
- A probabilistic algorithm to test local algebraic observability in polynomial time (Q5892265) (← links)