Skip to content
Tape‑n‑Trace
PracticeSearch 26 tools

← All games

Equal a-b-c blocks

Is L = { aⁿbⁿcⁿ : n ≥ 0 } context-free?

you attack · engine defends

Engine · move 1

The engine claims L = { aⁿbⁿcⁿ : n ≥ 0 } is context-free and announces a pumping length of n = 5. Choose a string in the language with at least 5 symbols.

You · move 2

w ∈ L, |w| ≥ 5