Lauseke
Wikipedia
Lauseke on:
[muokkaa] Matematiikka
Matematiikassa lause muodostuu numeroista, laskuoperaattoreista ja muuttujista. Lauseen voi evaluoida arvoksi. Lausekkeessa voi olla vapaita muuttujia, joita ei ole annettu, mutta ne otetaan muusta yhteydestä (esim. valonnopeus, avogadron luku).
Kaksi lauseketta on yhtä suuria, jos ne evaluoituvat samaksi luvuksi.
Lausekkeiden evaluoinnin formalisoivat Alonzo Church ja Stephen Kleene 1930-luvulla lambdakalkyylin avulla. Heidän työllään oli suuri vaikutus nykyiseen matematiikkaan ja ohjelmointikieliin.
[muokkaa] Ohjelmointi
Ohjelmoinnissa lauseke on arvojen, funktioiden ja proseduurien yhdistelmä, joka evaluoituu tietyksi arvoksi.
Esimerkiksi C:n kaltaisella kielellä ehtolauseen ehto on lauseke:
if ( lauseke ) {
lause;
}
Lauseke määritellään usein rekursiivisesti, esimerkiksi (BNF-notaatiolla):
lauseke ::= lauseke "+" lauseke | lauseke "-" lauseke
Esimerkki määrittelee kieliopin, jossa lauseke koostuu yhteen- ja vähennyslaskuista.
Katso myös: Lause
[muokkaa] Tietojenkäsittelyteoria
Tietojenkäsittelyteoriassa säännöllinen lauseke määrittelee yhden kielioppityypin eli säännöllisen kielen.
