65
правок
Изменения
Нет описания правки
# Получено множество всех порождающих нетерминалов грамматики, а все нетерминалы, не попавшие в него, являются непорождающими.
При удалении из грамматики непорождающих нетерминалов и правил, их содержащих, язык не изменится, так как эти нетерминалы по определению не могли встречаться в выводе любого какого-либо слова.
{{Определение
# Получено множество всех достижимых нетерминалов, а нетерминалы, не попавшие в него, являются недостижимыми.
При удалении из грамматики недостижимых нетерминалов и правил, их содержащих, язык не изменится, так как поскольку эти нетерминалы недостижимы из стартового, то и в выводе любого какого-либо слова они встречаться не могли.
{{Определение
