આ પ્રકારની મર્યાદાઓના ચોક્કસ સેટ અને ઓછામાં ઓછા એક લક્ષણ ભાષામાં દરેક શબ્દ માટે માળખું વર્ણન, ચિહ્નો એક અનંત નંબર recursively લાક્ષણિકતા છે.