18 relationer: Alfabet, Algebra, Attributgrammatik, Backus-Naur form, Beregnelighed, Datalogi, Diskret matematik, Filosofi, Logisk operator, Matematik, Regulært udtryk, Sprog, Sprogvidenskab, Tællelig mængde, Tegn, Tekststreng, Turingmaskine, Udvidet Backus-Naur form.
Alfabet
Et alfabet (fra græsk: alfa αλφα og beta βητα) er en ordnet rækkefølge af bogstaver.
Ny!!: Formalsprog og Alfabet · Se mere »
Algebra
Algebra i praktisk anvendelse Algebra (ar. "al-jabr") er en gren af matematikken der kan beskrives som en generalisering og udvidelse af aritmetikken.
Ny!!: Formalsprog og Algebra · Se mere »
Attributgrammatik
En attributgrammatik er en formel måde til at udvide en formel grammatik med semantisk databehandling.
Ny!!: Formalsprog og Attributgrammatik · Se mere »
Backus-Naur form
Backus-Naur form (BNF) er en metasyntaks, dvs.
Ny!!: Formalsprog og Backus-Naur form · Se mere »
Beregnelighed
Beregnelighed (også kaldet komputabilitetsteori) er et emne indenfor diskret matematik, som handler om om en givet funktion kan komputeres (beregnes) af en givet maskine (ofte Turing-maskinen).
Ny!!: Formalsprog og Beregnelighed · Se mere »
Datalogi
Datalogi er læren om data og behandling af data – især vha.
Ny!!: Formalsprog og Datalogi · Se mere »
Diskret matematik
Diskret matematik er studiet af strukturer, der er fundamentalt adskilte i den forstand at de ikke kræver et begreb om kontinuitet.
Ny!!: Formalsprog og Diskret matematik · Se mere »
Filosofi
Rembrandts maleri "Filosoffen" fra 1633 Filosofi er i det moderne Vesten videnskaben vedrørende de grundlæggende vilkår for erkendelse og moral.
Ny!!: Formalsprog og Filosofi · Se mere »
Logisk operator
En logisk operator er en afbildning, en vigtig del af de formelle sprog der kaldes formel logik (og ofte andre formelle sprog).
Ny!!: Formalsprog og Logisk operator · Se mere »
Matematik
Matematiklærer ved tavlen. Rafael. Eksempel på sammenhæng mellem algebra og geometri. Mandelbrotmængden er et eksempel på en fraktal. Perspektiviske trekanter. Forlænger man trekanternes respektive sider, mødes disse forlængelser (grå ubrudte) på en ret linje kaldet perspektivaksen. Linjer (blå prikkede) gennem trekanternes respektive hjørner vil mødes i perspektivcentret (forsvindingspunktet). - Allerede i 1600-tallet beviste den franske matematiker Girard Desargues, at hvis det første gælder, vil det andet også gælde, og omvendt. Matematik (fra oldgræsk μάθημα; máthēma: 'viden, læring, studie') er et vidensområde, der omfatter emner som tal (aritmetik og talteori), formler og relaterede strukturer (algebra), former og rummene, hvori de er indesluttet (geometri), og mængder og deres ændringer (kalkulus og analyse).
Ny!!: Formalsprog og Matematik · Se mere »
Regulært udtryk
Et regulært udtryk (oversat fra engelsk, regular expression, ofte forkortet til regexp eller regex) er en følge af tegn, der definerer et mønster til søgning/matchning.
Ny!!: Formalsprog og Regulært udtryk · Se mere »
Sprog
Et sprog er et struktureret kommunikationssystem.
Ny!!: Formalsprog og Sprog · Se mere »
Sprogvidenskab
Ferdinand de Saussure, faderen til moderne lingvistik. Sprogvidenskab eller lingvistik er det videnskabelige studium af menneskelige sprog, herunder sprogets struktur, funktion, oprindelse, diversitet og udvikling.
Ny!!: Formalsprog og Sprogvidenskab · Se mere »
Tællelig mængde
En tællelig mængde er en mængde, der har samme kardinalitet (dvs. i en vis forstand samme antal elementer) som en delmængde af de naturlige tal, eller ækvivalent: en mængde A er tællelig, hvis og kun hvis der findes en injektiv funktion fra A til de naturlige tal.
Ny!!: Formalsprog og Tællelig mængde · Se mere »
Tegn
Tegn (fra norrønt teikn) er et ord med flere specialiseringer - og ikke at forveksle med bydemåde/imperativ af at tegne.
Ny!!: Formalsprog og Tegn · Se mere »
Tekststreng
Tekststreng, fra string, bruges i sammenhæng med programmering og skriptsprog, og betegner en sekvens (string, dvs. tråd eller streng) af tegn.
Ny!!: Formalsprog og Tekststreng · Se mere »
Turingmaskine
En Turingmaskine er en matematisk model for en simpel symbolmanipulerende maskine som trods sin enkle opbygning kan udføre ikke-trivielle beregninger og simulere logikken i enhver computer.
Ny!!: Formalsprog og Turingmaskine · Se mere »
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.
Ny!!: Formalsprog og Udvidet Backus-Naur form · Se mere »