તે સિસ્ટમ કે ધારણા છે કે તેના તત્વો મુક્ત પાત્ર કર્યા રચના સેટ ઉત્પાદન કરવા માટે સક્ષમ છે તેના પર આધારિત છે એક નિર્ધારિત શ્રેણી અધિક્રમ છે.