ทฤษฎีการคำนวณ Theory of computation เกี่ยวกับคอมพิวเตอร์ยังไง ใช้ทำอะไร เอาไปประยุกต์ใช้ยังไงครับ?

ผมยังมองไม่ออกเลยว่าจะเอาไปใช้ยังไง มันมีประโยชน์อะไรบ้างครับ?
มันเกี่ยวกับเรื่องสถานะวงจรไฟฟ้า และเรื่องการสร้างภาษาโปรแกรม กับ compiler รึเปล่าครับ?

ไฟไนต์ออโตมาตา
ภาษาเรกูลาร์
ภาษาคอนเท็กซ์ฟรี
พุชดาวน์ออโตมาตา
ทัวริงเเมชีน
ปัญหา P=NP?

ที่พูดมาทั้งหมดนี่เอาไปทำอะไรได้บ้างครับ?