Формальный язык: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Dmitru (обсуждение | вклад) →Литература: Уточнение ссылки |
Нет описания правки |
||
Строка 2:
В [[математическая логика|математической логике]] и [[информатика|информатике]] '''формальный язык''' — это [[множество]] конечных [[Слово (математика)|слов]] (строк, [[Кортеж|цепочек]]) над конечным [[Алфавит (информатика)#В математике|алфавитом]]. Понятие языка чаще всего используется в [[Теория автоматов|теории автоматов]], [[теория вычислимости|теории вычислимости]] и [[теория алгоритмов|теории алгоритмов]]. Научная теория, которая имеет дело с этим объектом, называется [[теория формальных языков|теорией формальных языков]].
В [[теория моделей|теории моделей]] '''язык''' соответствует не языку в информатике, а скорее алфавиту. Язык состоит из множеств символов, [[Функция (математика)|функций]] и [[Отношение (математика)|отношений]] вместе с их [[арность]]ю, а также
== Определение ==
| |||