نموذج تشومسكي الطبيعي

هناك وسيلة أخرى لتعريف صيغة تشومسكي العادية (Hopcroft and Ullman 1979, and Hopcroft et al. 2006): تكون اللغة الصورية في صيغة تشومسكي المختزلة إذا كانت كل قواعد إنتاجها على الصيغة:

${\displaystyle A\rightarrow \,BC}$ أو

${\displaystyle A\rightarrow \,\alpha }$

حيث A B C رموز لقيم متغيرة و α رمز لقيمة ثابتة. وباستخدام هذا التعريف قد يكون B و C رمز بداية.

1. أدخل S0

   أدخل متغير بداية جديد ${\displaystyle S_{0}}$، وقاعدة جديدة ${\displaystyle S_{0}\rightarrow S}$ ، حيث ${\displaystyle S}$ هي متغير البداية السابق.

2. قم بحذف جميع القواعد ${\displaystyle \epsilon }$

   القواعد ${\displaystyle \epsilon }$ هي قواعد على الصيغة ${\displaystyle A\rightarrow \epsilon }$ ، حيث ${\displaystyle A\not =S_{0}}$ و ${\displaystyle A\in V}$ ، بينما V متغير نحر خالي من السياق CFG.

1. قم بحذف أية قاعدة تكون ${\displaystyle \epsilon }$ على يمينها. لكل قاعدة تكون ${\displaystyle A}$ على يمينها قم بإضافة مجموعة من القواعد الجديدة التي تتألف من التجميعات المختلفة الممكنة لـ ${\displaystyle A}$ والتي أبدلت أو لم تبدل بـ ${\displaystyle \epsilon }$. إذا كان لقاعدة A على يمينها، قم بإضافة قاعدة جديدة ${\displaystyle R=A\rightarrow \epsilon }$ ، ما لم تكن R قد حذفت بالفعل في هذه العملية. فمثلا، أدرس المثال التالي:

   ${\displaystyle S\rightarrow AbA|B}$

   ${\displaystyle B\rightarrow b|c}$

   ${\displaystyle A\rightarrow \epsilon }$

فيما سبق قاعدة واحدة. وعندما نحذف، نحصل على التالي:

1. ${\displaystyle S\rightarrow AbA|Ab|bA|b|B}$

   ${\displaystyle B\rightarrow b|c}$

1. لاحظ أننا ذكرنا كل احتمالات، وبالتالي ننتهي إلى إضافة 3 قواعد.

2. احذف كافة قواعد الوحدة

   ${\displaystyle A\rightarrow B\ni A,B\in V}$

بعد حذف كل قواعد ε، يمكنك أن تبدأ في حذف قواعد الوحدة، أو القواعد التي يحتوي حدها الأيمن على متغير واحد ولا يحتوي رموزاً لقيم ثابتة (وهو ما يتسق مع صيغة تشومسكي العادية).

1. نحذف كل قاعده فيها B على اليمين
2. نضور على كل قاعده فيها B على اليسار ونضيف لها A على اليسار

   لحذف ${\displaystyle A\rightarrow B}$

   ${\displaystyle \forall B\rightarrow U}$أضف القاعدة ${\displaystyle A\rightarrow U}$ ، ما لم تكن قاعدة وحدة تم حذفها بالفعل.

1. قم بتنقية القواعد المتبقية التي ليست على صيغة تشومسكي العادية

قم باستبدال ${\displaystyle A\rightarrow u_{1},u_{2},...u_{k},k\geq 3,u_{1}\in V\cup \Sigma }$ بـ ${\displaystyle A\rightarrow u_{1}A_{1},A_{1}\rightarrow u_{2}A_{2},...,A_{k-2}\rightarrow u_{k-1}u_{k}}$ ، حيث ${\displaystyle A_{i}}$ متغيرات جديدة. إذا ${\displaystyle u_{i}\in \Sigma }$ ، قم باستبدال ${\displaystyle u_{i}}$ في القواعد أعلاه بمتغير جديد ${\displaystyle v_{i}}$ ثم أضف القاعدة ${\displaystyle v_{i}\rightarrow u_{i}}$.

• شرح مادة نظرية الحوسبة والأتوماتا (اللغات والنحو في هرمية تشومسكي Chomsky ) Theory of Automata

• John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation, 3rd Edition, Addison-Wesley, 2006. ISBN 0-321-45536-3. (See subsection 7.1.5, page 272.)
• John E. Hopcroft and Jeffrey D. Ullman, Introduction to Automata Theory, Languages and Computation, Addison-Wesley Publishing, Reading Massachusetts, 1979. ISBN 0-201-02988-X. (See chapter 4.)
• Michael Sipser (1997). Introduction to the Theory of Computation. PWS Publishing. (Pages 98–101 of section 2.1: context-free grammars. Page 156.)
• John Martin (2003). Introduction to Languages and the Theory of Computation. McGraw Hill. (Pages 237–240 of section 6.6: simplified forms and normal forms.)
• Michael A. Harrison (1978). Introduction to Formal Language Theory. Addison-Wesley. (Pages 103–106.)
• Lange, Martin and Leiß, Hans. To CNF or not to CNF? An Efficient Yet Presentable Version of the CYK Algorithm. Informatica Didactica 8, 2009. ((pdf)
• Cole, Richard. Converting CFGs to CNF (Chomsky Normal Form), October 17, 2007. (pdf)
• Sipser, Michael. Introduction to the Theory of Computation, 2nd edition.

• بوابة علم الحاسوب