304
правки
Изменения
м
точечки
{{Определение
|definition=
'''Свойством программ''' называется множество текстов программ.
}}{{Определение
|definition=
}}{{Определение
|definition=
'''Язык <tex>L</tex> удовлетворяет образцу <tex>A</tex>''', если <tex>L</tex> содержит все элементы <tex>A</tex>.
}}{{Определение
|definition=
