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