Regulated rewriting
નિયંત્રિત પુનર્લેખન એ ઔપચારિક ભાષાઓનું એક વિશિષ્ટ ક્ષેત્ર છે જે વ્યાકરણ પ્રણાલીઓનો અભ્યાસ કરે છે જે વ્યુત્પત્તિ પગલામાં લાગુ ઉત્પાદન પર અમુક પ્રકારનું નિયંત્રણ લેવા માટે સક્ષમ છે. આ કારણોસર, નિયંત્રિત પુનર્લેખન સિદ્ધાંતમાં અભ્યાસ કરાયેલ વ્યાકરણ પ્રણાલીઓને "નિયંત્રિત વ્યુત્પત્તિઓ સાથે વ્યાકરણ" પણ કહેવામાં આવે છે. આવા વ્યાકરણમાં જોઇ શકાય છેઃ મેટ્રિક્સ વ્યાકરણ મૂળભૂત વિભાવનાઓ વ્યાખ્યા એક મેટ્રિક્સ વ્યાકરણ, એ ચાર-ટુપલ છે જ્યાં 1.-બિન-અંતિમ પ્રતીકોનું મૂળાક્ષર છે 2.-અંતિમ પ્રતીકોનું મૂળાક્ષર છે જે 3 સાથે જોડાય છે.-મેટ્રિક્સનો મર્યાદિત સમૂહ છે, જે બિન-ખાલી ક્રમ છે, અને, જ્યાં દરેક, એક ક્રમબદ્ધ જોડી છે કારણ કે આ જોડીને "પ્રોડક્શન્સ" કહેવામાં આવે છે, અને સૂચવવામાં આવે છે. આ પરિસ્થિતિઓમાં મેટ્રિસીસને 4 તરીકે લખી શકાય છે.-S એ શરૂઆતનું પ્રતીક છે વ્યાખ્યા ચાલો મેટ્રિક્સ વ્યાકરણ બનીએ અને મેટ્રિસીસ પરના તમામ પ્રોડક્શન્સનો સંગ્રહ કરીએ. આપણે કહ્યું કે તે ચોમ્સ્કીના પદાનુક્રમ અનુસાર, અથવા "વધતી લંબાઈ" અથવા "રેખીય" અથવા "બિન-ઉત્પાદનો" સાથે પ્રકારનો છે જો અને માત્ર ત્યારે જ જો વ્યાકરણમાં અનુરૂપ ગુણધર્મ હોય. ક્લાસિક ઉદાહરણ નોંધઃ અબ્રાહમ 1965 પરથી લેવામાં આવ્યું છે, નોન-ટર્મિનલ નામોના ફેરફાર સાથે સંદર્ભ-સંવેદનશીલ ભાષા નોન-ટર્મિનલ સમૂહ ક્યાં છે, તે ટર્મિનલ સમૂહ છે, અને મેટ્રિસીસના સમૂહને,, તરીકે વ્યાખ્યાયિત કરવામાં આવે છે. સમય પ્રકાર વ્યાકરણ મૂળભૂત વિભાવનાઓ વ્યાખ્યા સમય પ્રકાર વ્યાકરણ એ એક જોડી છે જ્યાં વ્યાકરણ છે અને તે કુદરતી સંખ્યાઓના સમૂહથી લઈને ઉત્પાદનના સમૂહના સબસેટના વર્ગ સુધીનું કાર્ય છે. પ્રોગ્રામ કરેલ વ્યાકરણ મૂળભૂત વિભાવનાઓ વ્યાખ્યા પ્રોગ્રામ કરેલ વ્યાકરણ એ એક જોડી છે જ્યાં વ્યાકરણ છે અને ઉત્પાદનના સમૂહથી લઈને ઉત્પાદનના સમૂહના ઉપગણના વર્ગ સુધી સફળતા અને નિષ્ફળ કાર્યો છે. નિયમિત નિયંત્રણ ભાષા સાથે વ્યાકરણ મૂળભૂત વિભાવનાઓ વ્યાખ્યા નિયમિત નિયંત્રણ ભાષા સાથે વ્યાકરણ, એક જોડી છે જ્યાં વ્યાકરણ છે અને તે નિર્માણના સમૂહની મૂળાક્ષરો પર નિયમિત અભિવ્યક્તિ છે. એક નિષ્કપટ ઉદાહરણ CFG નો વિચાર કરો જ્યાં નોન-ટર્મિનલ સેટ છે, તે ટર્મિનલ સેટ છે, અને પ્રોડક્શન સેટને,,, અને તરીકે વ્યાખ્યાયિત કરવામાં આવે છે. સ્પષ્ટપણે,. હવે, મૂળાક્ષર તરીકે સેટ કરેલી રચનાઓને ધ્યાનમાં લેતા (કારણ કે તે એક મર્યાદિત સમૂહ છે), નિયમિત અભિવ્યક્તિને આની ઉપર વ્યાખ્યાયિત કરો. સી. એફ. જી. વ્યાકરણ અને નિયમિત અભિવ્યક્તિને જોડીને, આપણે સી. એફ. જી. ડબલ્યુ. આર. સી. એલ. મેળવીએ છીએ જે ભાષા ઉત્પન્ન કરે છે. નિયંત્રિત પુનર્લેખન સાથે અન્ય વ્યાકરણ ઉપરાંત, ઉપર દર્શાવેલ ચાર ટ્યુરિંગ મશીન શક્તિશાળી વ્યાકરણ ઉપકરણ મેળવવા માટે અમુક પ્રકારની નિયંત્રણ પદ્ધતિ સાથે સંદર્ભ-મુક્ત વ્યાકરણને કેવી રીતે વિસ્તૃત કરવું તેના સારા ઉદાહરણો છે. સંદર્ભો સાલોમા, આર્ટો (1973) ઔપચારિક ભાષાઓ. એકેડેમિક પ્રેસ, એસીએમ મોનોગ્રાફ શ્રેણી રોઝેનબર્ગ, જી.; સાલોમા, એ. (એડીએસ.) 1997, ઔપચારિક ભાષાઓની પુસ્તિકા. બર્લિન; ન્યૂ યોર્કઃ સ્પ્રિંગર (સમૂહ) (3540604200: v. 1; 3540606483: v. 2; 3540606491: v. 3) દાસો, જુર્ગેન; પૉન, G. 1990, ઔપચારિક ભાષા સિદ્ધાંતમાં નિયમન કરેલ પુનઃલેખન. સ્પ્રિંગર-વેરલેગ ન્યૂયોર્ક, ઇન્ક. સેકૉકસ, ન્યૂ જર્સી, યુએસએ, પાનાઃ 308. માધ્યમઃ હાર્ડકવર. રેગ્યુલેટેડ રીરાઈટિંગ સાથે દાસો, જુર્ગેન, ગ્રામર. 5મા પીએચડી કાર્યક્રમ "ઔપચારિક ભાષાઓ અને ઉપયોગો" માં વ્યાખ્યાન, તારાગોના, સ્પેન, 2006. અબ્રાહમ, એસ. 1965. ભાષા સિદ્ધાંતના કેટલાક પ્રશ્નો, પ્રોસિડિંગ્સ ઓફ ધ 1965 ઇન્ટરનેશનલ કોન્ફરન્સ ઓન કોમ્પ્યુટેશનલ લિંગ્વિસ્ટિક્સ, પીપી. 1-11, બોન, જર્મની, ઔપચારિક ભાષાઓ ઔપચારિક પદ્ધતિઓ