3,244 followers
A polynomial time algorithm for the local testability problem of deterministic finite automata https://t.co/hb0sSJlqbG
A polynomial time algorithm for the local testability problem of deterministic finite automata https://t.co/hb0sSJlqbG