Vi arbejder på at gendanne Unionpedia-appen i Google Play Store
UdgåendeIndgående
🌟Vi har forenklet vores design for bedre navigation!
Instagram Facebook X LinkedIn

Formalsprog

Indeks Formalsprog

Formalsprog betegner en abstraktion fra den normale opfattelse af hvad sprog er.

Indholdsfortegnelse

  1. 7 relationer: Backus-Naur form, Formelt system, Logisk operator, Parser, Sprog, Sprog (flertydig), Udvidet Backus-Naur form.

Backus-Naur form

Backus-Naur form (BNF) er en metasyntaks, dvs.

Se Formalsprog og Backus-Naur form

Formelt system

Et formelt system er et system af påstande og regler, hvor man af påstandene ved hjælp af reglerne kan udlede en række sandheder.

Se Formalsprog og Formelt system

Logisk operator

En logisk operator er en afbildning, en vigtig del af de formelle sprog der kaldes formel logik (og ofte andre formelle sprog).

Se Formalsprog og Logisk operator

Parser

En parser er et dataprogram (eller komponent), som analyserer en datastrøm, for at få frem en tolkning af denne i et vist formelt sprog.

Se Formalsprog og Parser

Sprog

Et sprog er et struktureret kommunikationssystem.

Se Formalsprog og Sprog

Sprog (flertydig)

I daglig tale bruger vi begrebet sprog på mange måder.

Se Formalsprog og Sprog (flertydig)

Udvidet Backus-Naur form

Indenfor datalogi er udvidet Backus-Naur form (engelsk extended Backus–Naur form (EBNF)) en familie af metasyntaksnotationer - og enhver af disse kan anvendes til at udtrykke en kontekstfri grammatik.

Se Formalsprog og Udvidet Backus-Naur form

Også kendt som Formelle sprog, Formelt sprog.