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.