and

PDA that accepts { x#y#z#w | x, y, z, w in {0, 1}+ with x ≠ w and y ≠ z }