Separating Words: Decoding a Paper

A clever trick on combining automata John Robson has worked on various problems including what is still the best result on separating words—the topic we discussed the other day. Ken first knew him for his proof than checkers is -complete and similar hardness results for chess and Go. Today I want to talk about his […]