СУЭБ ИВТ СО РАН

А.М.Федотов

Словарные статьи в коллекции: (public_cat = Thesaurus of Information Technology: Dictionary Articles )

Лексикон

Из анализа общих понятий языков программирования выросла, предложенная А.П.Ершовым фундаментальная идея лексикона программирования как общей среды для разработки, обоснования и документирования программ.

Эта идея в чем-то напоминает идею Дональда Кнута , предложившего инструментальную систему программирования.

Лексикон определяется как "лингвистическая система с фразовой структурой, содержащую в себе формальную нотацию для выражения всех общезначимых конструкций, употребляемых при формулировании условий задач, при синтезе и преобразовании программ".

Лексикон, в отличие от конкретного языка программирования, является открытой системой. Для него в целом не ставится задача трансляции любого его текста в машинную программу, хотя любая машинная программа в случае необходимости может быть выражена в лексиконе. Аналогично естественному языку лексикон обладает способностью описания одной своей части средствами другой своей же части. Это тщательно отобранная, но развивающаяся система удачных обозначений. Степень его успеха определяется степенью общезначимости и общепонятности его нотации.

Идея лексикона является одной из основных, оставленных А.П.Ершовым. Она может служить источником создания научных и методических основ программирования на десятки лет вперед. Идейно к работам по автоматизации программирования примыкают и работы А.П.Ершова по теоретическому программированию. Первой его работой в этой области стала статья об операторных алгоритмах. В ней предлагалась модель программы, которая была одним из источников такой известной модели, как стандартные схемы.

В середине 1980-е годы А.П.Ершов развил эти идеи и предложил создать открытый, то есть развиваемый язык, на котором можно описать будущую программу, конструкции, её образующие, и объекты предметной области задачи. Этот язык получил наименование «Лексикон».

Ключевые термины, связанные с термином : "Лексикон":

1. Бета [ru]
2. Транслятор [ru]
3. Язык программирования [ru]

Литература

Факультативная

1. Луховицкая Э. С., Езерова Г. Н., Информатика в ИПМ им.М.В.Келдыша. 1960-е годы / Препринты ИПМ им. М.В.Келдыша. - 2013. - Выпуск № 29. - С. 33.
2. Луховицкая Э.С., Езерова Г.Н. Информатика в ИПМ им. М.В. Келдыша. 1960-е годы // Препринты ИПМ им. М.В. Келдыша. 2013. № 29. 33 с.

Ссылка на персон:

1. Ершов Андрей Петрович
2. Камынин Сергей Сергеевич
3. Любимский Эдуард Зиновьевич
4. Поттосин Игорь Васильевич

Контекстный поиск: Задайте образец для поиска:
    

© 2013-2024, Евразийский национальный университет им. Л.Н.Гумилева, Астана © 2007-2024, Новосибирский государственный университет, Новосибирск © 1998-2024, Институт вычислительных технологий СО РАН, Новосибирск © 1998-2024, Федотов А.М.

ФИТ НГУ       НГУ ЕНУ им.Гумилева ИВТ СО РАН