نظریه زبان‌ها و ماشین‌ها و کاربرد آن در تحلیل کد