Формален език: Разлика между версии
Редакция без резюме |
м Бот: Козметични промени |
||
Ред 1: | Ред 1: | ||
{{без източници}} |
{{без източници}} |
||
[[Файл:Formal languages.svg| |
[[Файл:Formal languages.svg|мини|Синтактично подразделение в рамките на формална система]] |
||
В [[математика]]та, [[логика]]та и компютърните науки, '''формален език''' е това множество от думи с крайна дължина (тоест буквени низове), извлечено от дадена крайна [[азбука]]. Научната теория, за която формалните езици са обект на изучаване, се нарича ''теория на формалните езици''. |
В [[математика]]та, [[логика]]та и компютърните науки, '''формален език''' е това множество от думи с крайна дължина (тоест буквени низове), извлечено от дадена крайна [[азбука]]. Научната теория, за която формалните езици са обект на изучаване, се нарича ''теория на формалните езици''. |
||
Ред 7: | Ред 7: | ||
Азбука може да бъде {c,d} и низ към/за тази азбука може да бъде cddddc. Типичен език на тази азбука, съдържащ низа cddddc, ще бъде множеството от всички [[низ]]ове, които съдържат същият брой c и d символи. |
Азбука може да бъде {c,d} и низ към/за тази азбука може да бъде cddddc. Типичен език на тази азбука, съдържащ низа cddddc, ще бъде множеството от всички [[низ]]ове, които съдържат същият брой c и d символи. |
||
Празната дума (низ с нулева дължина) е разрешен и често означаван като ''e'', |
Празната дума (низ с нулева дължина) е разрешен и често означаван като ''e'', ε или Λ. Докато азбуката е крайно множество и всеки низ има крайна дължина, то езикът може съвсем спокойно да се състои от безкрайно много низове. |
||
Някои примери за формални езици: |
Някои примери за формални езици: |
Версия от 11:40, 26 април 2021
За информацията в тази статия или раздел не са посочени източници. Въпросната информация може да е непълна, неточна или изцяло невярна. Имайте предвид, че това може да стане причина за изтриването на цялата статия или раздел. |
В математиката, логиката и компютърните науки, формален език е това множество от думи с крайна дължина (тоест буквени низове), извлечено от дадена крайна азбука. Научната теория, за която формалните езици са обект на изучаване, се нарича теория на формалните езици.
Азбука може да бъде {c,d} и низ към/за тази азбука може да бъде cddddc. Типичен език на тази азбука, съдържащ низа cddddc, ще бъде множеството от всички низове, които съдържат същият брой c и d символи.
Празната дума (низ с нулева дължина) е разрешен и често означаван като e, ε или Λ. Докато азбуката е крайно множество и всеки низ има крайна дължина, то езикът може съвсем спокойно да се състои от безкрайно много низове.
Някои примери за формални езици:
- множество на всички думи от {a,b};
- множество { an : n е естествено число по-голямо от единица} (където an означава a повторено n пъти);
- множество от синтактично правилни програми за даден програмен език.
Формалният език може да бъде специфициран по много начини:
- Низ, изведен от формална граматика (виж Йерархия на Чомски);
- Низ, произведен от регулярен израз;
- Низ, приет от някаква автоматизация, например Машина на Тюринг.
Няколко операции могат да създадат нови езици от дадени такива.
Например: Да вземем L1 и L2, които са езици, имащи обща азбука.
- Конкатенацията на L1 и L2 са всички низове от типа vw, където v е низ от L1 и w е низ от L2
- Конюнкцията на L1 и L2 се състои от всички низове съдържащи се както в L1, така и в L2
и т.н.