Актуальные проблемы современной науки, № 3, 2013 ТЕХНИЧЕСКИЕ НАУКИ Информатика, вычислительная техника и управление Системный анализ, управление и обработка информации λ Чугреева Е.Е. <...> Алиев Р.С., кандидат технических наук, доцент (Московский государственный технический университет «Станкин») НОТАЦИЯ λ-АВТОМАТОВ КАК СПОСОБ ПРЕДСТАВЛЕНИЯ НЕЛИНЕЙНЫХ АЛГОРИТМОВ В статье решается актуальная задача разработки графического представления термов λисчисления; проводится сравнительный анализ традиционной формы записи λ-термов и соответствующих характеристик абстрактных автоматов; вводится понятие λ-автомата и предлагается новая нотация с помощью изображения этих автоматов. <...> -AUTOMATON NOTATION AS A WAY OF NONLINEAR ALGORITHM REPRESENTATION The article deals with development of λ-terms graphical description. <...> Comparative analysis of λ-terms traditional notation and abstract automation characteristics is realized. λ-automaton definition and the way of λ-terms representation with λ-automaton graphical description are done in this paper. <...> Значительный интерес к теории и инструментарию функционального программирования, проявляемый в настоящее время как академическим сообществом, так и индустрией ИТ, объясняется естественным поиском средств борьбы со сложностью. <...> Брукс утверждал: «Сложность программного обеспечения является существенным, а не случайным образом»[2]. <...> В крупных системах из-за большого количества возможных состояний возникает так называемый комбинаторный взрыв – эффект резкого экспоненциального роста временной сложности алгоритма. <...> Концепция λ-исчисления предполагает отказ от учёта состояния как вычислительной системы в целом, так и отдельных элементов систем. <...> Возникнув в основаниях математики, теория λ-исчисления была построена как теория вычислений с естественной бестиповой операционной семантикой, чтобы подчеркнуть вычислительные аспекты функций [1]. <...> Основной интерес представляет изучение этих объектов с применением всевозможных математических средств, выражаемых в виде λ-термов, которые составляют множество Λ и строятся из переменных <...>