Original: Therefore , formal language theory is a major application area of computability theory and complexity theory .
Simplified: Programming language for the application of formal languages to program computers