Формальный язык: различия между версиями

В [[математическая логика|математической логике]] и [[информатика|информатике]] '''формальный язык''' — это [[множество]] конечных [[Слово (математика)|слов]] (''[[синоним|син]].'' [[строка|строк]], цепочек) над конечным [[алфавитАлфавит (информатика)#В математике|алфавитом]]. Понятие языка чаще всего используется в теории [[Абстрактный автомат|автоматов]], [[теория вычислимости|теории вычислимости]] и [[теория алгоритмов|теории алгоритмов]]. Научная теория, которая имеет дело с этими объектами, называется ''[[теория формальных языков|теорией формальных языков]]''.