Original: Therefore , formal language theory is a major application area of computability theory and complexity theory .
Simplified: This is the kind of question that computability theory and complexity theory ask .