Expressive power (computer science)
In computer science, the expressive power (also called expressiveness or expressivity) of a language is the breadth of ideas that can be represented and communicated in that language. The more expressive a language is, the greater the variety and quantity of ideas it can be used to represent.
- Comment
- enIn computer science, the expressive power (also called expressiveness or expressivity) of a language is the breadth of ideas that can be represented and communicated in that language. The more expressive a language is, the greater the variety and quantity of ideas it can be used to represent.
- Has abstract
- enIn computer science, the expressive power (also called expressiveness or expressivity) of a language is the breadth of ideas that can be represented and communicated in that language. The more expressive a language is, the greater the variety and quantity of ideas it can be used to represent. For example, the Web Ontology Language expression language profile (OWL2 EL) lacks ideas (such as negation) which can be expressed in OWL2 RL (rule language). OWL2 EL may therefore be said to have less expressive power than OWL2 RL. These restrictions allow for more efficient (polynomial time) reasoning in OWL2 EL than in OWL2 RL. So OWL2 EL trades some expressive power for more efficient reasoning (processing of the knowledge representation language).
- Hypernym
- Breadth
- Is primary topic of
- Expressive power (computer science)
- Label
- enExpressive power (computer science)
- Link from a Wikipage to another Wikipage
- Category:Ontology languages
- Category:Programming language topics
- Chomsky hierarchy
- Computer science
- Context-free grammar
- Database query
- Database theory
- Datalog
- Decision problem
- Extensible programming
- First-order logic
- Formal grammar
- Formal language
- Formal language theory
- Idea
- Knowledge representation
- Logic
- Mathematical logic
- Mathematics
- Nondeterministic finite automaton
- O(1)
- Polynomial time
- Process algebra
- Programming language
- Query language
- Regular expression
- Regular grammar
- Relational database
- Rice's Theorem
- Second-order logic
- Semantic spectrum
- Transitive closure
- Turing complete
- Turing tarpit
- Undecidable problem
- Web Ontology Language
- XML Schema Language Comparison
- XQuery
- SameAs
- 4jN2f
- Expressive power (computer science)
- m.0129ljz
- m.0cgdfw
- Q5421724
- Выразительность (программирование)
- 표현 능력
- Subject
- Category:Ontology languages
- Category:Programming language topics
- WasDerivedFrom
- Expressive power (computer science)?oldid=1105741462&ns=0
- WikiPageLength
- 7911
- Wikipage page ID
- 4669465
- Wikipage revision ID
- 1105741462
- WikiPageUsesTemplate
- Template:Computer science
- Template:More citations needed
- Template:Page needed
- Template:Reflist
- Template:Short description