لغة شكلية

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

في الرياضيات والمنطق والمعلوماتية، يطلق مصطلح اللغة الشكلية L على أي مجموعة من الجمل محدودة الطول المأخوذة من مجموعة نهائية A تسمى الحروف الأبجدية. فمن خلال مختلف تطبيقات اللغات الشكلية، يمكن أن ننظر إلى اللغة الشكلية على أنها مماثلة لمجموعة كلمات أو مجموعة جمل.

عمليات على اللغات[عدل]

Closure properties of language families ( Op where both and are in the language family given by the column). After Hopcroft and Ullman.
العملية regular DCFL CFL CSL recursive r.e.
الاتحاد نعم لا نعم نعم نعم نعم
التقاطع نعم لا لا نعم نعم نعم
Complement نعم نعم لا نعم نعم لا
Concatenation نعم لا نعم نعم نعم نعم
Kleene star نعم لا نعم نعم نعم نعم
Homomorphism نعم لا نعم نعم لا نعم
Substitution نعم لا نعم نعم لا نعم
Inverse Homomorphism نعم نعم نعم نعم نعم نعم
Reverse نعم لا نعم نعم نعم نعم

انظر أيضاً[عدل]

وصلات خارجية[عدل]

المصادر[عدل]

  • A. G. Hamilton, Logic for Mathematicians, Cambridge University Press, 1978, ISBN 0-521-21838-1.
  • Seymour Ginsburg, Algebraic and automata theoretic properties of formal languages, North-Holland, 1975, ISBN 0-7204-2506-9.
  • Michael A. Harrison, Introduction to Formal Language Theory, Addison-Wesley, 1978.
  • John E. Hopcroft and Jeffrey D. Ullman, Introduction to Automata Theory, Languages and Computation, Addison-Wesley Publishing, Reading Massachusetts, 1979. ISBN 0-201-029880-X.
  • Grzegorz Rozenberg, Arto Salomaa, Handbook of Formal Languages: Volume I-III, Springer, 1997, ISBN 3-540-61486-9.
  • Patrick Suppes, Introduction to Logic, D. Van Nostrand, 1957, ISBN 0-442-08072-7.