نظریه زبان‌ها و ماشین‌ها و تحلیل پیچیدگی محاسباتی