Indholdsfortegnelse
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.
Sprog
Et sprog er et struktureret kommunikationssystem.
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.