Formella språk

Från Wikipedia
Hoppa till: navigering, sök

Formella språk är systematiserade språk med klart angivna explicita grammatiska regler för hur språkets symboler får kombineras. Formella språk används inom logik och matematik, men framförallt i datorsammanhang. Programspråk för datorer är ofta definierade som formella språk.

Externa länkar[redigera | redigera wikitext]