211
правок
Изменения
м
→Свойства
{{Определение
|definition =
'''Язык''' {{---}} множество строчекцепочек, каждая из которых принадлежит <tex>\Sigma^*</tex>, где <tex>\Sigma</tex> {{---}} некоторый фиксированный алфавит.
}}
Если <tex>\Sigma</tex> {{---}} алфавит и <tex>L \subseteq \Sigma^*</tex>, то <tex>L</tex> {{---}} это '''язык над''' <tex>\Sigma</tex>, или '''в''' <tex>\Sigma</tex>. Отметим, что язык в <tex>\Sigma</tex> не обязательно должен содержать цепочки, в которые входят все символы <tex>\Sigma</tex>. Поэтому, если известно, что <tex>L</tex> является языком в <tex>\Sigma</tex>, то можно утверждать, что <tex>L</tex> {{---}} это язык над любым алфавитом, содержащим <tex>\Sigma</tex>.
