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