Pages that link to "Item:Q6085759"
From MaRDI portal
The following pages link to An efficient algorithm for local testability problem of finite state automata (Q6085759):
Displaying 6 items.
- Algorithms finding the order of local testability of deterministic finite automaton and estimations of the order (Q1978707) (← links)
- (Q3484371) (← links)
- (Q3783588) (← links)
- (Q4474160) (← links)
- (Q4782722) (← links)
- Local encoding transformations for optimizing OBDD-representations of finite state machines (Q5943270) (← links)