Формален език: Разлика между версии

от Уикипедия, свободната енциклопедия
Изтрито е съдържание Добавено е съдържание
м robot Adding: cs
м robot Adding: fi, pt Modifying: it
Ред 29: Ред 29:
[[en:Formal language]]
[[en:Formal language]]
[[es:Lenguaje formal]]
[[es:Lenguaje formal]]
[[fi:Formaali kieli]]
[[fr:Langage formel]]
[[fr:Langage formel]]
[[it:Linguaggio formale]]
[[it:Linguaggio formale (matematica)]]
[[ja:形式言語]]
[[ja:形式言語]]
[[nl:Formele taal]]
[[nl:Formele taal]]
[[pl:Język formalny]]
[[pl:Język formalny]]
[[pt:Linguagem formal]]
[[sk:Formálny jazyk]]
[[sk:Formálny jazyk]]
[[zh:形式语言]]
[[zh:形式语言]]

Версия от 21:56, 21 октомври 2005

В обикновената ежедневна употреба говорим за формален език като за начин на говорене обусловен от нормираност, стегнатост, строгост, терминологичност и неемотивност на изказа. Една внимателна, акуратна речевост.


В математиката, логиката и компютърните науки, формален език е това множество от думи с крайна дължина (тоест буквени стрингове) извлечено от дадена крайна азбука. Научната теория, за която формалните изици са обект на изучаване се нарича теория на формалните езици. Азбука може да бъде {c,d} и низ към/за тази азбука може да бъде cddddc. Типичен език на тази азбука, съдържащ стринга cddddc, ще бъде множеството от всички стрингове, които съдържат същият брой c и d символи. Празната дума (низ с нулева дължина) е разрешен и често означаван като e, ε или Λ. Докато азбуката е крайно множество и всеки стринг има крайна дължина, то езикът може съвсем спокойно да се състои от безкрайно много срингове. Някои примери за формални езици:

  • множество на всички думи от {a,b}
  • множество { an : n е естествено число по-голямо от единица} (където an означава a повторено n пъти)
  • множество от синтактично правилни програми за даден програмен език

Формалният език може да бъде спицифизиран по много начини:

Няколко операции могат да създадат нови езици от дадени такива.

Например. Да вземем L1 и L2, които са езици имащи обща езбука.

  • Конкатенацията на L1 и L2 е всички стрингове от типа vw, където v е стринг на L1 и w е стринг на L1
  • Конюнкцията на L1 и L1 се състои от всички стрингове съдържащи се както в L1, така и в L1

и т.н.