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

44 байта изтрити ,  преди 13 години
редакция без резюме
м (Робот Добавяне: fa:زبان‌های فرمال Изтриване: id:Bahasa formal)
 
В [[математика|математиката]], [[логика|логиката]] и компютърните науки, '''формален език''' е това множество от думи с крайна дължина (тоест буквени низове) извлечено от дадена крайна [[азбука]]. Научната теория, за която формалните езици са обект на изучаване се нарича ''теория на формалните езици''.
Азбука може да бъде {c,d} и низ към/за тази азбука може да бъде cddddc. Типичен език на тази азбука, съдържащ стринганиза cddddc, ще бъде множеството от всички стрингове[[низ]]ове, които съдържат същият брой c и d символи.
Празната дума (низ с нулева дължина) е разрешен и често означаван като ''e'', ε или Λ. Докато азбуката е крайно множество и всеки стрингниз има крайна дължина, то езикът може съвсем спокойно да се състои от безкрайно много стринговенизове.
Някои примери за формални езици:
* множество на всички думи от {a,b}
 
Например. Да вземем ''L''<sub>1</sub> и ''L''<sub>2</sub>, които са езици имащи обща азбука.
* Конкатенацията на ''L''<sub>1</sub> и ''L''<sub>2</sub> е всички стринговенизове от типа vw, където v е стрингниз на ''L''<sub>1</sub> и w е стрингниз на ''L''<sub>1</sub>
* Конюнкцията на ''L''<sub>1</sub> и ''L''<sub>1</sub> се състои от всички стринговенизове съдържащи се както в ''L''<sub>1</sub>, така и в ''L''<sub>1</sub>
 
и т.н.
22 263

редакции