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