Изменения

Перейти к: навигация, поиск
м
Включение одного регулярного языка в другой
|id=inclusion
|definition=
[[Регулярные языки: два определения и их эквивалентность|Регулярный язык]] <tex>L_{1}</tex> '''входит (включается)''' (англ. ''included'') в регулярный язык <tex>L_{2}</tex>, если любое слово, принадлежащее <tex>L_{1}</tex>, принадлежит <tex>L_{2}</tex>.
}}
177
правок

Навигация