Status Updates From An Introduction to Formal L...

The elegance of pumping lemma's proof reminded me of Harry Mairson's poetry on how difficult it is to teach theory:

"Quite often, we've found, teaching theory,
Undergrads are bored, puzzled and weary.
Sterile proofs are from Hell--
Teach us HTML!"

His counter has always stuck with me:

"But good theorems don't formally hide
The human emotion supplied
Rigor without mortis, our goal,
Is for sure a negotiable shoal"

بهترین دلیل برای خوندن نظریه زبان‌ها و ماشین(مبنای علوم کامپیوتری) لذت و سرگرمی علمیه. این همون حل مساله به معنای واقعیه!(این یک جمله دوپهلوست)

تموم شد. متوجه نمیشدم که چه‌طوری برای زبان‌ها ماشین تورینگ طراحی می‌کنه که ویدیو دیدم و آقا هندیه طی پونزده دقیقه کل سه جلسه‌ی آخر کلاسمون رو درس داد.
مثال و اینا کم حل کردم ولی عیب نداره. کتابو میذارم زیر بالشتم که صبح بلند شدم مطالبش توی ذهنم رفته باشه.

اوّل دفتر به نام ایزد دانا
پروردگار صانع حیّ و توانا
سازندهٔ آتاماتا، جاوا و جولیا
سی و سی‌شارپ؛ همه در امتحانِ فردا

یه بیت دیگه بسُرایم میرم ادامه‌اش. در ضمن بیت دوم از سعدی هست. 🙏🏻

یه حساب سرانگشتی کردم دیدم اگه از هفته‌ی پیش شروع کنم، انشالله دو روز بعد پایانترمم تمومه. 🙏🏻

تموم شد و میتونم برم بخوابم. انشالله فردا تا ظهر مرور می‌کنم و چندتا سوال دیگه هم حل می‌کنم. امیدوارم از مبحث Pumping Lemma سوالای آسون بیاره. 🙃

دیشب ساعت ۹ متوجه شدیم که هیچ‌جوره تا ساعت ۱۱ تموم نمی‌شه. بنابراین از سالن‌مطالعه رفتیم خوابگاه روژینا و تا ساعت ۴ صبح داشتیم گرامرها و قواعد زبان‌های منظم و نامنظم رو دوره می‌کردیم و آتاماتا می‌کشیدیم.
میزان علاقه‌ام به این درس وصف‌نشدنیه. :))

تا صفحه‌ی ۲۳۰ باید برای امتحان شنبه بخونم.