Equal zeros then ones
The adversary game, Hopcroft 2e §4.1.
Is L = { 0ⁿ1ⁿ : n ≥ 0 } regular?
Engine · move 1
The engine claims L = { 0ⁿ1ⁿ : n ≥ 0 } is regular and announces a pumping length of n = 4. Choose a string in the language with at least 4 symbols.