Автоматизация решения некоторых синтаксических задач для исчисления Ламбекадипломная работа (Специалист)