497
правок
Изменения
Нет описания правки
{{tick}} Изменить определения в начале статьи такОпределение|definition='''Язык <tex>L</tex> удовлетворяет свойству <tex>A</tex>''', чтобы они соответствовали изложению, которое было на лекцияхесли <tex>L \in A</tex>.{{tick}} Добавить перечислитель ( этот язык содержится в доказательстве теоремы в прямую сторону<tex>A</tex>).{{tick}} Доказательство лемм в обратную сторону довольно сумбурно. Переписать.--[[Участник:Sementry|Мейнстер Д.]] 21:22, 19 декабря 2012 (GST)