Ohjelmointikielen ilmaisukyky on kielen laatu, joka osoittaa, kuinka monipuolisia kyseisellä kielellä toteutettavissa olevat ideat ovat ja kuinka helppolukuisia ne ovat [1] .
Esimerkiksi Web-ontologiakielestä (OWL2 EL) puuttuu monia OWL2 RL:n ominaisuuksia. Siten OWL2 EL on vähemmän ekspressiivinen kuin OWL2 RL. Nämä rajoitukset mahdollistavat tehokkaammat ( polynomiaikaiset ) toteutukset OWL2 EL:ssä kuin OWL2 RL:ssä. [2]
Termiä "ilmaisukyky" voidaan käyttää useissa merkityksissä. Tämä voi tarkoittaa tällä kielellä toteutettujen ideoiden laajuutta [1] :
Teoreettinen ekspressiivisyys on mittari, joka mittaa, kuinka monta ideaa voidaan ilmaista kielellä riippumatta siitä, kuinka monimutkainen kielikonstruktiosta tulee [3] . Käytännön ilmaisukyky on mittari, joka osoittaa, kuinka luettavia ovat kyseisellä kielellä muotoillut ideat [4] .
Ensimmäistä aistia käytetään useammin eri matematiikan ja logiikan aloilla, jotka käsittelevät kielten ja niiden merkityksen muodollista kuvausta, kuten muodollisten kielten teoriassa , matemaattisessa logiikassa ja prosessilaskennassa [5] .
Epävirallisissa keskusteluissa termi viittaa useammin toiseen merkitykseen, esimerkiksi ohjelmointikielistä puhuttaessa [6] Näitä termin epävirallisia käyttöjä on yritetty virallistaa. [7] .
Ilmaisukyvyn käsite viittaa aina tietyntyyppiseen ideaan, joka on toteutettu tietyllä ohjelmointikielellä, ja termiä käytetään yleisesti verrattaessa kieliä, joilla on samat paradigmat .
Formaalinen kieliteoria tutkii pääasiassa formalismeja merkkijonojoukkojen kuvaamiseen , kuten yhteydettömiä kielioppeja ja säännöllisiä lausekkeita . Jokainen formalismin esiintymä, kuten jokainen kielioppi ja jokainen säännöllinen lauseke, kuvaa tietyn merkkijonojoukon. Tässä yhteydessä formalismin ekspressiivisyys on joukko merkkijonoja, jotka kuvaavat sen esiintymiä , ja ilmaisuvoiman vertailu on näiden joukkojen vertailu.
Tärkeä kriteeri kuvaamaan formalismien suhteellista ilmeisyyttä tällä alalla on Chomsky - hierarkia . Siinä esimerkiksi säännöllisillä lausekkeilla, ei- deterministisilla äärellisillä automaateilla ja säännöllisillä kieliopeilla on yhtä suuri ilmaisuvoima, kun taas yhteydettömillä kieliopeilla on enemmän. Tämä tarkoittaa, että kolmessa ensimmäisessä formalismissa kuvatut merkkijonojoukkojen joukot ovat yhtä suuret ja yhteydettömät kieliopit kuvaavat merkkijonojoukkojen oikean osajoukon .
Tällä alueella ilmeisyyden mitta on keskeinen tutkimusaihe.
Ilmeisemmissä formalismissa tämä ongelma voi olla vaikea tai jopa ratkaisematon. Turingin täydelliselle formalismille, kuten mielivaltaisille muodollisille kieliopeille, ei vain tämä ongelma, vaan mikä tahansa ei-triviaali ominaisuus suhteessa niiden kuvaamaan merkkijonosarjaan, on ratkaisematon. Tämä väite tunnetaan Ricen lauseena .
Tuloksia on myös lyhyydestä; esimerkiksi epädeterministiset automaatit ja säännölliset kieliopit ovat ytimekkäämpiä kuin säännölliset lausekkeet siinä mielessä, että jälkimmäiset voidaan kääntää ensimmäiseksi ilman kokoa, kun taas päinvastainen ei ole mahdollista.
Samanlaiset näkökohdat koskevat formalismeja, jotka eivät kuvaa merkkijonojoukkoa, vaan joukko puita (kuten XML -kuvauskieli ), kaavioita tai muita tietorakenteita.