← All problems
Unverified
Separating words problem
Given two words of length over . Does there always exist an automaton of size which distinguishes and . Or bigger, like ? Best known bound is about .
OpenTCSGiven two words of length over . Does there always exist an automaton of size which distinguishes and . Or bigger, like ? Best known bound is about .