biçimsel dil

Türkçe

Ad

biçimsel dil (belirtme hâli biçimsel dili, çoğulu biçimsel diller)

(matematik, mantık) sözdizim kuralları hiçbir belirsizlik içermeksizin tanımlanmış, bilgisayar izlencelemede de kullanılabilecek nitelikte kesin dil, teorik bilişimin temel dallarından biri
Bu kurallarla üretilebilecek örülerin (sözcük ya da tümcelerin) tümü.

Çekimleme

biçimsel dil adının çekimi

		tekil	çoğul
yalın		biçimsel dil	biçimsel diller
belirtme		biçimsel dili	biçimsel dilleri
yönelme		biçimsel dile	biçimsel dillere
bulunma		biçimsel dilde	biçimsel dillerde
ayrılma		biçimsel dilden	biçimsel dillerden
tamlayan		biçimsel dilin	biçimsel dillerin
iyelik
		tekil	çoğul
1. tekil	yalın	biçimsel dilim	biçimsel dillerim
	belirtme	biçimsel dilimi	biçimsel dillerimi
	yönelme	biçimsel dilime	biçimsel dillerime
	bulunma	biçimsel dilimde	biçimsel dillerimde
	ayrılma	biçimsel dilimden	biçimsel dillerimden
	tamlayan	biçimsel dilimin	biçimsel dillerimin
2. tekil	yalın	biçimsel dilin	biçimsel dillerin
	belirtme	biçimsel dilini	biçimsel dillerini
	yönelme	biçimsel diline	biçimsel dillerine
	bulunma	biçimsel dilinde	biçimsel dillerinde
	ayrılma	biçimsel dilinden	biçimsel dillerinden
	tamlayan	biçimsel dilinin	biçimsel dillerinin
3. tekil	yalın	biçimsel dili	biçimsel dilleri
	belirtme	biçimsel dilini	biçimsel dillerini
	yönelme	biçimsel diline	biçimsel dillerine
	bulunma	biçimsel dilinde	biçimsel dillerinde
	ayrılma	biçimsel dilinden	biçimsel dillerinden
	tamlayan	biçimsel dilinin	biçimsel dillerinin
1. çoğul	yalın	biçimsel dilimiz	biçimsel dillerimiz
	belirtme	biçimsel dilimizi	biçimsel dillerimizi
	yönelme	biçimsel dilimize	biçimsel dillerimize
	bulunma	biçimsel dilimizde	biçimsel dillerimizde
	ayrılma	biçimsel dilimizden	biçimsel dillerimizden
	tamlayan	biçimsel dilimizin	biçimsel dillerimizin
2. çoğul	yalın	biçimsel diliniz	biçimsel dilleriniz
	belirtme	biçimsel dilinizi	biçimsel dillerinizi
	yönelme	biçimsel dilinize	biçimsel dillerinize
	bulunma	biçimsel dilinizde	biçimsel dillerinizde
	ayrılma	biçimsel dilinizden	biçimsel dillerinizden
	tamlayan	biçimsel dilinizin	biçimsel dillerinizin
3. çoğul	yalın	biçimsel dili biçimsel dilleri
	belirtme	biçimsel dilini biçimsel dillerini
	yönelme	biçimsel diline biçimsel dillerine
	bulunma	biçimsel dilinde biçimsel dillerinde
	ayrılma	biçimsel dilinden biçimsel dillerinden
	tamlayan	biçimsel dilinin biçimsel dillerinin

Çeviriler

çeviriler

Almanca: formale Sprache (de) d
Fince: formaali kieli (fi)
İngilizce: formal language (en)
İspanyolca: lenguaje formal (es)
İsveççe: formellt språk (sv)
Rusça: формальный язык (ru) (formalʹnıy yazık)
Ukraynaca: формальна мова (uk) (formalʹna mova)

Kaynakça

Türk Dil Kurumuna göre "biçimsel dil" maddesi