لغة صورية

(تم التحويل من لغة شكلية)

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

إذا اعتبرنا اللغة الصورية مجموعة كلمات : تكون المجموعة A نا يدعى أبجدية للغة L ، عناصر هذه الأبجدية تدعى كلمات . إذا اعتبرنا اللغة الصورية مجموعة جمل عندئذ تكون المجموعة A ذخيرة مفردات vocabulary أو تدعى أيضا lexicon للغة 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.
Union نعم لا نعم نعم نعم نعم
Intersection نعم لا لا نعم نعم نعم
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.

انظر أيضاً

وصلات خارجية

الكلمات الدالة: