Original: Therefore, formal language theory is a major application area of computability theory and complexity theory.
Simplified: Computer language for application of formal languages in computing