Original: Formal languages are often used as the basis for richer constructs endowed with semantics .
Simplified: This is the kind of question that computability theory and complexity theory ask .