Difference between revisions of "Separating words problem"

From Wiki @ Karl Jones dot com
Jump to: navigation, search
(Created page with "In theoretical computer science, the '''separating words problem''' is the problem of finding the smallest deterministic finite automaton that behaves differently on t...")
 
(No difference)

Latest revision as of 15:33, 26 August 2016

In theoretical computer science, the separating words problem is the problem of finding the smallest deterministic finite automaton that behaves differently on two given strings, meaning that it accepts one of the two strings and rejects the other string.

It is an open problem how large such an automaton must be; in the worst case, as a function of the length of the input strings.

See also

External links