Изменения

'''Отметим''', что принадлежность программы <tex>p</tex> языку свойства <tex>A</tex> можно выразить двумя эквивалентными утверждениями: : <tex>L(p) \in A</tex> и :<tex>p \in L(A)</tex>. Далее в конспекте будет употребляться <tex>p \in L(A)</tex>.