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