قواعد النحو المتجاورة للشجرة

قواعد الربط الشجري ( TAG ) هي شكلية نحوية وضعها أرافيند جوشي . تشبه قواعد الربط الشجري إلى حد ما قواعد اللغة الخالية من السياق ، لكن الوحدة الأساسية لإعادة الكتابة هي الشجرة نفسها وليس الرمز. فبينما تحتوي قواعد اللغة الخالية من السياق على قواعد لإعادة كتابة الرموز كسلاسل من رموز أخرى، تحتوي قواعد الربط الشجري على قواعد لإعادة كتابة عقد الأشجار كأشجار أخرى (انظر الشجرة (نظرية الرسم البياني) والشجرة (بنية البيانات) ).

تاريخ

نشأت نظرية TAG من دراسات أجراها جوشي وطلابه حول عائلة قواعد الإضافة (AG)، [ 1 ] و"قواعد السلاسل" لزيليج هاريس . [ 2 ] تتعامل قواعد الإضافة مع الخصائص الخارجية للغة بطريقة طبيعية وفعالة، لكنها لا تُقدم توصيفًا جيدًا للبنى الداخلية ؛ والعكس صحيح بالنسبة لقواعد إعادة الكتابة ، أو قواعد بنية العبارة (PSG). في عام 1969، قدم جوشي عائلة من القواعد تستغل هذا التكامل من خلال دمج نوعي القواعد. يكفي عدد قليل جدًا من قواعد إعادة الكتابة البسيطة لتوليد مفردات السلاسل لقواعد الإضافة. تختلف هذه العائلة عن التسلسل الهرمي لتشومسكي-شوتزنبرجر ، لكنها تتقاطع معه بطرق مثيرة للاهتمام وذات صلة لغوية. [ 3 ] يمكن أيضًا توليد السلاسل المركزية وسلاسل الإضافة بواسطة قواعد التبعية ، مما يُجنّب قيود أنظمة إعادة الكتابة تمامًا. [ 4 ] [ 5 ]

وصف

رسم توضيحي تخطيطي لعملية الإضافة: الشجرةα{\displaystyle \alpha }يتحد مع شجرة مساعدةβ{\displaystyle \beta }عند عقدة تحمل رمزًا غير طرفيX{\displaystyle X}والتي يجب أن تكون أيضًا العقدة الجذرية والقدمية للشجرة المساعدة. الشجرة الناتجة أعمق من الشجرة الأصلية.
رسم توضيحي تخطيطي لعملية الاستبدال: شجرتان (α{\displaystyle \alpha }وβ{\displaystyle \beta }(لاحظ أن هذه ليست بالضرورة أشجارًا أولية ) يتم ربطها على عقدة تحمل علامة غير طرفيةX{\displaystyle X}هذه العقدة هي إحدى العقد الورقية المحددة للاستبدال فيα{\displaystyle \alpha }وجذرβ{\displaystyle \beta }هي عقدة لها نفس الرمز غير الطرفي.

يمكن تعريف الوسم (TAG) على أنه مجموعة من 5 عناصرΣ،شمالتي،أنا،أ،S{\displaystyle \langle \Sigma ,NT,I,A,S\rangle }مع: [ 6 ]

  • Σ{\displaystyle \Sigma }باعتبارها المجموعة المحدودة من الرموز الطرفية ؛
  • شمالتي{\displaystyle NT}باعتبارها المجموعة المحدودة من الرموز غير الطرفية، منفصلة عنΣ{\displaystyle \Sigma }؛
  • أنا{\displaystyle I}كمجموعة محدودة من الأشجار المحدودة تسمى الأشجار الأولية ؛
    • تحتوي الأشجار الأولية على عقد داخلية غير طرفية. يمكن أن تتكون الحدود من عقد طرفية وغير طرفية. يتم تمييز العقد غير الطرفية عند الحدود للاستبدال (عادةً بإضافة الرمز '{\displaystyle \downarrow }(بعد الرمز غير الطرفي). لا يمكن ضم العقد المحددة للاستبدال.
  • أ{\displaystyle A}كمجموعة محدودة من الأشجار المحدودة تسمى الأشجار المساعدة ؛
    • تحتوي الأشجار المساعدة على عقدة ورقية خاصة تُعرف باسم عقدة القدم (عادةً ما يتم تمييزها بـ "*{\displaystyle \ast }يجب أن يحمل كل عقدة غير طرفية نفس الرمز غير الطرفي لجذر الشجرة. لا يمكن استبدال العقد السفلية؛ جميع العقد غير الطرفية الأخرى على الحدود مُعلَّمة للاستبدال. وكما هو الحال في الأشجار الأولية، تحمل العقد الداخلية رموزًا غير طرفية.
  • S{\displaystyle S}كرمز بداية خاص، ينتمي إلى مجموعة الرموز غير الطرفية.

بالإضافة إلى ذلك، تم إدخال مجموعات الأشجار المساعدة (TAGs) التي تتضمن قيودًا على الضم على العقد. يمكن لقيد الضم على عقدة ما أن: يمنع الضم تمامًا (NA، للضم الصفري )؛ أو يجعله إلزاميًا (OA)؛ أو يسمح فقط لأشجار مساعدة مختارة بالضم (SA). [ 6 ]

يوجد نوعان من الأشجار الأساسية في TAG - الأشجار الأولية (يُشار إليها غالبًا بـ 'α{\displaystyle \alpha }') والأشجار المساعدة ('β{\displaystyle \beta }تُسمى هذه الأشجار مجتمعة بالأشجار الأولية. تمثل الأشجار الأولية علاقات التكافؤ الأساسية، بينما تسمح الأشجار المساعدة بالتكرار. [ 7 ]

تبدأ عملية الاشتقاق بشجرة أولية، تُدمج مع أشجار أخرى إما عن طريق الاستبدال أو الإضافة. يستبدل الاستبدال عقدة حدودية بشجرة أولية يكون لجذرها نفس تسمية الورقة التي استُبدلت بها. تُضيف الإضافة شجرة مساعدة - إما عند عقدة حدودية أو داخلية - بحيث تتطابق تسميات جذرها وقاعدتها مع تسمية العقدة المجاورة لها. وبالتالي، يمكن أن تؤدي الإضافة إلى إدخال شجرة مساعدة في مركز شجرة أخرى، ويمكن تطبيق هذه العملية بشكل متكرر. [ 4 ]

التعقيد والتطبيق

لكل قواعد نحوية خالية من السياق ، يمكن توليد قواعد نحوية مجاورة للشجرة تقبل نفس لغة السلاسل النصية. وبالتالي، يمكن لقواعد النحو المجاورة للشجرة توليد جميع اللغات الخالية من السياق ؛ [ 8 ] كما يمكنها توليد بعض اللغات الحساسة للسياق ، ولكن ليس جميعها .

مثالان على اللغات الحساسة للسياق / غير الخالية من السياق التي يمكن أن تولدها TAGs (مع قيود الإضافة) هما: [ 8 ]

  • لغة النسخ (أي لغة المربعات )، التي يتم فيها تكرار سلسلة عشوائية:{ww|wΣ*}{\displaystyle \left\{ww\mid w\in \Sigma ^{*}\right\}}
    الأشجار الأولية الثلاث اللازمة لتوليد لغة النسخ التي تحتوي أبجديتها على الحرفين أ و ب فقط.
  • لغة العد الرباعي:{أنبنجندن|1ن}{\displaystyle \{a^{n}b^{n}c^{n}d^{n}|1\leq n\}}
    تُظهر الصورة شجرتين. تتكون الأولى من الرمز غير الطرفي S فقط في الجذر، والسلسلة الفارغة كناتجة عنه. أما الثانية، فتتفرع من رمز غير طرفي آخر S، ولها هذه المرة ثلاثة فروع؛ العقد الفرعية، من اليسار إلى اليمين، هي: الرمز الطرفي a، ورمز غير طرفي S آخر، والرمز الطرفي d. وللرمز S الفرعي نفسه ثلاثة أبناء: الرمز الطرفي b، ورمز غير طرفي S آخر، والرمز الطرفي c. بالتالي، تحتوي الشجرة على سلسلة من ثلاث عقد S. ويمكن استخدام الجد S والحفيد S للربط.
    الأشجار اللازمة لتوليد لغة العد-4 بما في ذلك الكلمة الفارغة ϵ{\displaystyle \epsilon }، والتي تُعرَّف رسميًا على أنهاعدد4={أنبنجندن|ن0}{\displaystyle {\text{Count}}_{4}=\left\{a^{n}b^{n}c^{n}d^{n}\mid n\geq 0\right\}}.

تعتبر القواعد النحوية المجاورة للشجرة أكثر قوة (من حيث القدرة التوليدية الضعيفة ) من القواعد النحوية الخالية من السياق، ولكنها أقل قوة من أنظمة إعادة الكتابة الخطية الخالية من السياق ، [ 9 ] المفهرسة ، [ ملاحظة 1 ] أو القواعد النحوية الحساسة للسياق .

مثالان على اللغات الحساسة للسياق التي لا تستطيع علامات TAG توليدها هما: [ 8 ]

  • لغة السلاسل الثلاثية (أي لغة المكعبات ):{www|wΣ*}{\displaystyle \left\{www\mid w\in \Sigma ^{*}\right\}}
  • اللغات التي تحتوي على أكثر من أربعة سلاسل أحرف مميزة متساوية الطول؛ على سبيل المثال، لغة العد-5:{أنبنجندنون|1ن}{\displaystyle \{a^{n}b^{n}c^{n}d^{n}f^{n}|1\leq n\}}

يمكن تمثيل معالجة اللغات التي يمكن أن تولدها علامات TAG بواسطة آلة دفع مضمنة .

غالباً ما توصف قواعد النحو المتجاورة الشجرية بأنها حساسة للسياق بشكل طفيف . ويُفترض أن هذه الفئات من القواعد النحوية قوية بما يكفي لنمذجة اللغات الطبيعية مع الحفاظ على قابليتها للتحليل بكفاءة في الحالة العامة. [ 8 ]

المكافئات

أثبت فيجاي شانكر ووير (1994) [ 10 ] أن القواعد النحوية الخطية المفهرسة ، والقواعد النحوية الفئوية التوافقية ، والقواعد النحوية المجاورة للشجرة، والقواعد النحوية الرأسية هي أشكال متكافئة بشكل ضعيف ، من حيث أنها جميعًا تحدد نفس لغات السلسلة.

المتغيرات

قواعد النحو المتجاورة الشجرية المعجمية (LTAG) هي نوع من قواعد النحو المتجاورة الشجرية (TAG)، حيث ترتبط كل شجرة ابتدائية (أولية أو مساعدة) بكلمة معجمية. تحتوي كل شجرة على عقدة طرفية واحدة على الأقل كعقدة ورقية، تُسمى حينها المرساة (المعجمية) للشجرة. وقد طوّر فريق أبحاث XTAG التابع لمعهد أبحاث العلوم المعرفية في جامعة بنسلفانيا قواعد نحوية معجمية للغة الإنجليزية. [ 5 ]

تسمح متغيرات أخرى من TAG بالأشجار متعددة المكونات ، والأشجار ذات العقد القدمية المتعددة، والامتدادات الأخرى.

انظر أيضاً

ملحوظات

  1. هذا، لأنه - بالنسبة لكل قواعد نحوية متصلة بالشجرة - يمكن العثور على قواعد نحوية خطية مفهرسة تنتج نفس اللغة (انظر أدناه )؛ وبالنسبة للأخيرة، يمكن العثور على قواعد نحوية مفهرسة مكافئة بشكل ضعيف (صحيحة) بدورها (انظر: قواعد نحوية مفهرسة#القوة الحسابية ).

مراجع

  1. جوشي، أرافيند؛ إس آر كوساراجو؛ إتش. يامادا (1969). "قواعد النحو المساعدة للسلاسل" (وثيقة). وقائع الندوة السنوية العاشرة حول نظرية الأوتوماتا، واترلو، كندا.جوشي، أرافيند ك.؛ كوساراجو، س. راو؛ يامادا، هـ.م. (1972)، "قواعد النحو الملحقة للسلاسل: 1. الملحق المحلي والموزع"، المعلومات والتحكم ، 21 (2): 93-116 ، doi : 10.1016/S0019-9958(72)90051-4جوشي، أرافيند ك.؛ كوساراجو، س. راو؛ يامادا، هـ.م. (1972)، "قواعد النحو الملحقة للسلاسل: الجزء الثاني. التمثيل المعادل، والرموز الفارغة، والأهمية اللغوية"، المعلومات والتحكم ، 21 (3): 235-260 ، doi : 10.1016/S0019-9958(72)80005-6
  2. هاريس، زيليج س. (1962). تحليل بنية الجملة باستخدام السلاسل النصية . أوراق بحثية في اللغويات الرسمية. المجلد 1. لاهاي: موتون وشركاه. 
  3. جوشي، أرافيند (1969). "خصائص القواعد الرسمية ذات الأنواع المختلطة من القواعد وأهميتها اللغوية" (وثيقة). وقائع الندوة الدولية الثالثة حول اللغويات الحاسوبية، ستوكهولم، السويد.
  4. 1 2 جوشي، أرافيند؛ أوين رامبو (2003). "صيغة رسمية لقواعد التبعية القائمة على قواعد تجاور الشجرة" (ملف PDF) . وقائع مؤتمر نظرية المعنى والنص .
  5. 1 2 "قواعد نحوية متجاورة معجمية للغة الإنجليزية" .
  6. 1 2 جوشي، أرافيند ك. جوشي؛ شابيس، إيف (مارس 1991). قواعد النحو المتجاورة الشجرية وقواعد النحو المعجمية . MS-CIS-91-22 (تقرير فني). قسم علوم الحاسوب والمعلومات، جامعة بنسلفانيا.
  7. جورافسكي، دانيال ؛ جيمس هـ. مارتن (2000). معالجة الكلام واللغة . أبر سادل ريفر، نيوجيرسي: برنتيس هول. ص 354. 
  8. 1 2 3 4 جوشي، أرافيند (1985). "ما مدى ضرورة مراعاة السياق لتوصيف الأوصاف البنيوية؟". في: د. داوتي؛ ل. كارتونين؛ أ. زويكي (محررون). معالجة اللغة الطبيعية: منظورات نظرية وحسابية ونفسية . نيويورك، نيويورك: مطبعة جامعة كامبريدج. ص 206-250 . ISBN  9780521262033.
  9. كالمير، لورا (2010). التحليل النحوي خارج نطاق القواعد الخالية من السياق. سبرينغر. هنا: ص 215-216
  10. فيجاي شانكر، ك. ووير، ديفيد ج. 1994. تكافؤ أربعة امتدادات لقواعد اللغة الخالية من السياق . نظرية الأنظمة الرياضية 27(6): 511-546.