Forskel mellem versioner af "Formalsprog"

10 bytes tilføjet ,  for 5 år siden
m
Datomærker for artikler hvor enkelte passager behøver uddybning
(syntaks, layout, plus se også, eksterne kilder og kat lingvistik)
m (Datomærker for artikler hvor enkelte passager behøver uddybning)
Man bruger forskellige beregningsmodeller til at genkende eller acceptere forskellige typer af sprog. Der er følgende muligheder:
* Sproget kan genkendes: For en given streng giver beregningsmodellen svaret Ja eller Nej om den er indeholdt i sproget.
* Sproget kan accepteres: For en given streng giver beregningsmodellen et positivt svar, hvis den er indeholdt i sproget, ellers looper den.{{bør uddybes|dato=2015}}
* Sproget kan hverken genkendes eller accepteres. Nogle af disse sprog kan beskrives og andre kan ikke.
 
53.257

redigeringer