separating_automaton (98B)
1 # Separating automaton 2 3 cf https://en.wikipedia.org/wiki/Separating_words_problem 4 5 Up: [automata]
