Logo
Unionpedia
Kommunikasjon
Tilgjengelig på Google Play
Ny! Last ned Unionpedia på din Android™-enhet!
Gratis
Raskere tilgang enn browser!
 

Formelt språk

Index Formelt språk

Et formelt språk er en matematisk mengde ord, det vil si endelige strenger av bokstaver eller symboler.

10 relasjoner: Alfabet (informatikk), Formell grammatikk, Informatikk, Lingvistikk, Markeringsspråk, Mengde, Programmeringsspråk, Semantikk, Språk, Streng (informatikk).

Alfabet (informatikk)

Et alfabet er i informatikk og predikatslogikk en endelig mengde symboler eller bokstaver.

Ny!!: Formelt språk og Alfabet (informatikk) · Se mer »

Formell grammatikk

Formell grammatikk (også kalt kun grammatikk) er i teoretisk informatikk en mengde formasjonsregler som definerer hvilke strenger fra alfabetet til et formelt språk som er syntaktisk gyldige (det vil si grammatikalske) i dette språket.

Ny!!: Formelt språk og Formell grammatikk · Se mer »

Informatikk

Informatikk er et fagfelt med røtter i matematisk logikk, lingvistikk og elektroingeniørfag.

Ny!!: Formelt språk og Informatikk · Se mer »

Lingvistikk

''Priscian (Priscianus Caesariensis), grammatikeren''. Marmorpanel av Luca della Robbia. Lingvistikk eller språkvitenskap er det vitenskapelige studiet av naturlige språk og tale.

Ny!!: Formelt språk og Lingvistikk · Se mer »

Markeringsspråk

Et markeringsspråk (engelsk) eller oppmerkingsspråk kombinerer tekst og ekstra informasjon om teksten (for eksempel kursiv, fet type, hyperlenke eller andre formateringer).

Ny!!: Formelt språk og Markeringsspråk · Se mer »

Mengde

En mengde er i matematikk en veldefinert samling ulike objekter, betraktet som en helhet.

Ny!!: Formelt språk og Mengde · Se mer »

Programmeringsspråk

Hello, world!». Programmeringsspråk er en betegnelse som henviser et ikke-menneskelig og kunstig språk som benyttes utelukkende for å styre og kontrollere en datamaskin.

Ny!!: Formelt språk og Programmeringsspråk · Se mer »

Semantikk

Semantikk (fra fransk sémantique) er den grenen av lingvistikken (språkvitenskapen) som studerer ordenes betydning, både enkeltvis og i sammenstilte strukturer (setninger).

Ny!!: Formelt språk og Semantikk · Se mer »

Språk

skriftlig språk, men muntlig språk regnes å være flere titusener av år eldre enn skriftspråket. Et språk er et dynamisk sett av synlige, hørbare eller følbare symboler for kommunikasjon og elementer som brukes for å manipulere dem.

Ny!!: Formelt språk og Språk · Se mer »

Streng (informatikk)

Streng (engelsk: string) brukes i informatikk og noen grener av matematikk som betegnelse på bestemte typer sekvenser eller følger.

Ny!!: Formelt språk og Streng (informatikk) · Se mer »

Omdirigeringer her:

Formelle språk.

UtgåendeInnkommende
Hey! Vi er på Facebook nå! »