CSC-SY

مرحبا للجميع
كان بدي اسأل سؤال عن مادة بتدرس الاوتومات و الانتقال بين الاوتومات و الحالات والجمل المقبولة و غير المقبولة
سمعت انو في مادة بالسنة التالتة اسمها الاوتومات واللغات الصورية...

ممكن حدا من يالي بيعرف هالمادة يشرحلي شرح بسيط عنها ...

وبكون ممنووووووووووووووووووون

تعديل : قمت بتعديل العنوان. - ahnaqsh

الأوتومات واللغات الصورية مادة سنة تالتة بجامعة دمشق وبيعطيا الدكتور عمار خير بك

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

ياعيني عليك يا td
هادا بالظبط المطلوب ..وهلق لهذه المادة نوطة او كتاب مع امثلة محلولة ..؟؟؟؟
بماانك طالب في دمشق

ومن كلامك فهمت ان هذه المادة لا تدرس بحلب....؟؟؟؟

وإذا في إلها نوطة من وبن بحسن بجيبها ...

وشكرا جزيلا

introduction to automata theory

 orient student service

( مكتبة الشرق اللي مقابل الكلية )

إذا ما بيهمك تكون المواد باللغة العربية
فالكتاب التالي ممتاز وأنا استفدت منه
Introduction to Automata Theory, Languages, and Computation (2nd Edition)
d
,وموجود كمان عند أمازون الشام (مكتبة الشرق ;-)

ممكن سؤال؟
اذا سمحتو ممكن تذكرونا باللغة الغامضة و اللغة خارج السياق و اللغة ضمن السياق

اللغة الغامضة :

هي اللغة يلي فيك من القواعد تبعونها توصل لواحد او اكثر من اشتقاقات هي اللغة بأكتر من طريق واحد مثلا :

L = { aⁱb^jc^kd^f:i,j,k,f>=0; i = j OR k = f }

S -> S₁CD | ABS₂

S₁ -> aS₁b | ξ

S₂ -> cS₂d | ξ

A -> aA | ξ

B -> bA | ξ

C -> cC | ξ

D -> dD | ξ

و خود السلسلة abcd

1-

S -> S₁CD -> aS₁bCD -> abCD -> abcd

2-

S -> ABS₂ -> aBS₂ -> abcS₂d -> abcd

قدرنا نشتق السلسلة بأكتر من طريقة اذا اللغة غامضة ( و التعبير الاكثر صحة هوو انو القواعد غامضة )

حسيت انو الحكي يلي حكيتو قبل مو كتير واضح

علاقة الاحتواء بين اللغات الصورية هيي ببساطة كالتالي :

Recursively Enumerable Languages

Context Languages

Context Free Languages

Regular Languages

 هاد الهرم من صنع نعوم إفرام تشومسكي  من  أجل المزيد من المعلومات يرجى الإطلاع على مايلي Automata theory