The following pages link to (Q3484371):
Displaying 6 items.
- Exponential upper and lower bounds for the order of a regular language (Q1341751) (← links)
- Optimal estimation on the order of local testability of finite automata (Q1575894) (← links)
- Algorithms finding the order of local testability of deterministic finite automaton and estimations of the order (Q1978707) (← links)
- STRICT LOCAL TESTABILITY OF THE FINITE CONTROL OF TWO-WAY AUTOMATA AND OF REGULAR PICTURE DESCRIPTION LANGUAGES (Q3361892) (← links)
- (Q4474160) (← links)
- (Q4782722) (← links)