Forskel mellem versioner af "Formalsprog"

29 bytes tilføjet ,  for 9 år siden
katændr
m (robot Ændrer: bg:Формален език)
(katændr)
Alle sprog der er rekursive kan genkendes. Sprog som ikke er rekursive, men rekursive enumerable kan kun accepteres. Sprog der ikke er rekursive enumerable kan ikke engang accepteres. Dette er hvad faget [[beregnelighed]] handler om og undersøger i dybden.
 
[[Kategori:DatalogiImplementation af programmeringssprog]]
 
[[ar:لغة شكلية]]
108.939

redigeringer