The unary language {a^(2^(k+1))}

def unaryPow2 : Language Bool

The unary language {a^(2^(k+1)) | k in N} over Bool, with false as a.

Equations

• unaryPow2 w = ∃ (k : ℕ), w = List.replicate (2 ^ (k + 1)) false