Theory of Computation Lecture 5

في مادة *Theory of Computation* هنتعرف على الأساس النظري لعلوم الحاسب، وهنفهم بشكل مبسط إزاي الكمبيوتر بيقدر يعالج المعلومات ويحل المشكلات، وإيه حدود قدرته على الحل. هنبدأ بالمفاهيم الأساسية زي *Alphabets, Strings, Languages* والعمليات المختلفة عليها، وبعد كده هنتدرج في دراسة *Automata Theory* من خلال نماذج بسيطة للحوسبة زي *Finite Automata* و**Context-Free Grammars**، ثم ننتقل إلى نماذج أكثر تعقيدًا زي **Turing Machines**. كمان هنتعرف على *Computability Theory* ونسأل سؤال مهم: هل كل مشكلة يمكن للكمبيوتر حلها؟ وهنتعلم إن فيه بعض المشكلات التي لا يوجد لها Algorithm قادر على حلها بشكل عام، ومن أشهر الأمثلة **Halting Problem**. وبعد كده هندرس **Complexity Theory**، واللي بتركز على مدى صعوبة المشكلة، وكمية الوقت والـMemory المطلوبة لحلها، مع مفاهيم زي **Time Complexity, Space Complexity وBig-O**. الهدف من المادة مش مجرد دراسة نماذج وقواعد رياضية، لكن إننا نفهم بشكل أعمق **ما الذي يستطيع الكمبيوتر حسابه، وما الذي لا يستطيع حسابه، ومدى كفاءة الطرق المستخدمة في الحل**. #TheoryOfComputation #CS412 #CS_412 #Automata #AutomataTheory #FormalLanguages #FiniteAutomata #RegularLanguages #CFG #PDA #TuringMachine #Computability #ComplexityTheory #ComputerScience #علوم_الحاسب #نظرية_الحوسبة #شرح_برمجة