Редактирование: Теория к заданиям
Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 1: | Строка 1: | ||
== Множества Gen и Kill == | == Множества Gen и Kill == | ||
− | В лекциях определения этих множеств даются в рамках темы | + | В лекциях определения этих множеств даются в рамках темы Достигающих определений (Тема №2. Построение множеств Input и Output). |
*gen – множество определений, порождаемых инструкцией | *gen – множество определений, порождаемых инструкцией | ||
*kill – множество определений, убиваемых инструкцией | *kill – множество определений, убиваемых инструкцией |