Формальный язык: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Loveless (обсуждение | вклад) м робот добавил: sv:Formella språk |
Xqbot (обсуждение | вклад) м робот изменил: bg:Формален език (математика); косметические изменения |
||
Строка 1:
В [[математическая логика|математической логике]] и [[информатика|информатике]] '''формальный язык''' — это [[множество]] конечных [[Слово (математика)|слов]] (''[[синоним|син]].'' [[строка|строк]], цепочек) над конечным [[алфавит#В математике|алфавитом]]. Понятие языка чаще всего используется в теории [[Абстрактный автомат|
Например, если алфавит задан как {''a'', ''b''}, а язык ''L'' включает в себя все слова над ним, то слово ''ababba'' принадлежит ''L''.
Строка 42:
[[ar:لغة شكلية]]
[[bg:Формален език (математика)]]
[[bs:Formalni jezik]]
[[cs:Formální jazyk]]
|