“…More specifically, consider the language L 2 accepted by the 2-block DFA (Σ, {1, 2, 3, 4}, 1, {2, 3, 4} The language L 2 is a proper superset of K + 1 and is a (τ, H 0,2 )-bond-free subset of (Σ 2 ) + . In fact it can be shown that L 2 is maximal with this property [17].…”