Boolean grammar
બુલિયન વ્યાકરણ, ઔપચારિક ભાષા સિદ્ધાંતમાં અભ્યાસ કરાયેલ ઔપચારિક વ્યાકરણનો એક વર્ગ છે. તેઓ વ્યાકરણના મૂળભૂત પ્રકાર, સંદર્ભ-મુક્ત વ્યાકરણને સંયોજન અને નકારાત્મક ક્રિયાઓ સાથે વિસ્તરે છે. આ સ્પષ્ટ કામગીરીઓ ઉપરાંત, બુલિયન વ્યાકરણ એક બિન-અંતિમ પ્રતીક માટે બહુવિધ નિયમો દ્વારા રજૂ કરાયેલ ગર્ભિત વિચ્છેદને મંજૂરી આપે છે, જે સંદર્ભ-મુક્ત વ્યાકરણમાં વ્યક્ત કરી શકાય તેવું એકમાત્ર તાર્કિક સંયોજક છે. સંયોજન અને નકારાત્મકતાનો ઉપયોગ, ખાસ કરીને, ભાષાઓના આંતરછેદ અને પૂરકને સ્પષ્ટ કરવા માટે થઈ શકે છે. સંયોજી વ્યાકરણ તરીકે ઓળખાતા વ્યાકરણનો મધ્યવર્તી વર્ગ સંયોજન અને વિચ્છેદનને મંજૂરી આપે છે, પરંતુ નિષેધને નહીં. બુલિયન વ્યાકરણના નિયમો એવા સ્વરૂપના હોય છે જ્યાં બિન-અંતરે હોય છે, અને,.,,,.., અને માં પ્રતીકોથી બનેલા તાર હોય છે. અનૌપચારિક રીતે, આ પ્રકારનો નિયમ ભારપૂર્વક જણાવે છે કે તેની ઉપરની દરેક સ્ટ્રિંગ,.. દ્વારા રજૂ કરવામાં આવેલી દરેક વાક્યરચના શરતોને સંતોષે છે અને.. દ્વારા રજૂ કરવામાં આવેલી કોઈ પણ વાક્યરચના શરતો, તેથી દ્વારા વ્યાખ્યાયિત શરતને સંતોષે છે. બુલિયન વ્યાકરણ દ્વારા ઉત્પન્ન થયેલી ભાષાની ઘણી ઔપચારિક વ્યાખ્યાઓ અસ્તિત્વમાં છે. તેમની પાસે એક વસ્તુ સામાન્ય છેઃ જો વ્યાકરણને જોડાણ, આંતરછેદ, પૂરકતા અને સંયોજન સાથે ભાષાના સમીકરણોની પદ્ધતિ તરીકે રજૂ કરવામાં આવે, તો વ્યાકરણ દ્વારા પેદા થતી ભાષાઓ આ પદ્ધતિનો ઉકેલ હોવી જોઈએ. શબ્દાર્થ વિગતોમાં અલગ પડે છે, કેટલાક ભાષાના સમીકરણોનો ઉપયોગ કરીને ભાષાઓને વ્યાખ્યાયિત કરે છે, કેટલાક તર્ક પ્રોગ્રામિંગના ક્ષેત્રના વિચારો પર ધ્યાન દોરે છે. જો કે, ઔપચારિક વ્યાખ્યાના આ બિન-તુચ્છ મુદ્દાઓ વ્યવહારુ વિચારણાઓ માટે મોટે ભાગે અપ્રસ્તુત છે, અને આપેલ અનૌપચારિક શબ્દાર્થ અનુસાર વ્યાકરણની રચના કરી શકાય છે. આ નમૂનાના વ્યવહારુ ગુણધર્મો સંયોજી વ્યાકરણ જેવા જ છે, જ્યારે વર્ણનાત્મક ક્ષમતાઓમાં વધુ સુધારો કરવામાં આવ્યો છે. ખાસ કરીને, સંદર્ભ-મુક્ત વ્યાકરણમાંથી વારસામાં મળેલા કેટલાક વ્યવહારીક રીતે ઉપયોગી ગુણધર્મો, જેમ કે કાર્યક્ષમ પદચ્છેદન અલ્ગોરિધમ્સ, જાળવી રાખવામાં આવે છે, જુઓ. સંદર્ભો પ્રીપ્રિન્ટ ઓનલાઇન ઉપલબ્ધ છે. બાહ્ય કડીઓ બૂલિયન વ્યાકરણ પર ઓખોટીનનું પાનું ઔપચારિક ભાષાઓ