Den semantiske analysen av en melding er den fasen av analysen som etablerer dens betydning ved å bruke betydningen av elementene ( ordene ) i teksten, i motsetning til leksikale eller grammatiske analyser som bryter ned meldingen ved hjelp av et leksikon. Eller en grammatikk .
I sammenheng med semantisk analyse betyr det faktum at to ord er stavet på samme måte ikke nødvendigvis at de har samme betydning: homonymer er polysemiske .
Fra et morfosyntaktisk synspunkt kan ordet "kom" få en annen betydning i setninger som "la ham komme hit" (i dette tilfellet er det verbet "kom") og i andre. Som " drar på ferie til Wien "(her er det et riktig navn). Fra et semantisk synspunkt kan det samme ordet "vienne" tilsvare byen "Vienne", som eksisterer i Østerrike og Frankrike, så vel som departementet Vienne (det ville være nødvendig å si "in Vienne") , etc . Det er mange flertydige ord på alle språk, noe som kan skape misforståelser. Det anslås at omtrent hvert annet ord som er fratatt konteksten, er tvetydig på indoeuropeiske språk.
Men fra perspektivet til fortolkende semantikk utgjør disse eksemplene falske problemer fordi enhver høyttaler som er kompetent på fransk, i en reell kommunikasjonssituasjon vil kjenne forskjellen i konteksten mellom ordene "Wien" og "vienne". I tillegg til hovedstaden V skriftlig, hjelper de kontekstuelle instruksjonene til å forstå at dette ikke er de samme ordene. I de to eksemplene som er gitt ovenfor, gjør grammatisk logikk alene det mulig å forstå at "vienne" er et verb, mens "Vienne" er et toponym. Dette er grunnen til at spørsmålet om mening, og derfor om semantisk beskrivelse, ikke kan stilles på ordets skala, men bare på skalaen til en sekvens, ofte av flere setninger, kalt "periode".
Det er derfor grunnleggende å analysere betydningen av ord for å forstå hva vi sier (eller hva andre sier). Det er en menneskelig operasjon vi utfører hver dag, uten at vi nødvendigvis er klar over det, noe som gir mange problemer for automatisk analyse på datamaskiner. Spesielt i søkemotorer , oversettelsesprogramvare og stavekontroll, inneholder resultatene mange feil.
I kompilering er semantisk analyse fasen som oppstår etter syntaktisk analyse og før kodegenerering . Den utfører de nødvendige kontrollene av semantikken til det programmeringsspråket som blir vurdert, legger til informasjon til det abstrakte syntakstreet og bygger symboltabellen . Bekreftelsene utført av denne analysen er: