Concept

Expressive power (computer science)

Overview

the scope of ideas that can be expressed with a given formal language

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Formal language
• First-order logic
• Negation
• Idea
• Knowledge representation and reasoning
• Formal grammar
• Mathematics
• Mathematical logic
• Second-order logic
• Time complexity
• Logic
• Computer science
• Context-free grammar
• Decision problem
• Transitive closure

Place in the tradition

Part of Description logic.

Explore Expressive power (computer science) in the interactive graph →