Formalsprog: Forskelle mellem versioner

Content deleted Content added
syntaks, layout, plus se også, eksterne kilder og kat lingvistik
m Datomærker for artikler hvor enkelte passager behøver uddybning
Linje 17:
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.