On Emptiness and Counting for Alternating Finite Automata

This invention relates to an improvement in a transverse, force-connected body with variable profiling, particularly an airplane wing, containing flexible upper, lower, and nose skin parts and supporting elements hingedly engaging thereat in conjunction with a control gear, the improvement comprising clamps securing the upper and lower flexible skin parts at a rigid part of the wing, rigid carriers in the upper and lower areas of the wing, and shaped profile elements on the upper and lower carriers, the shaped profile elements having outwardly-pointing shaped profile surfaces for the selective support of the flexible skin parts.