A word doubled
The adversary game, Hopcroft 2e §4.1.
Is L = { ww : w ∈ {0,1}* } regular?
Engine · move 1
The engine claims L = { ww : w ∈ {0,1}* } is regular and announces a pumping length of n = 6. Choose a string in the language with at least 6 symbols.