Математическая энциклопедия
- формальный конструктивный объект, получающийся из программы абстрагированием от лексич. особенностей использованного при ее записи формального языка программирования и от смысла элементарных действий и объектов, употребляемых в программе. П. с. изучаются в программировании теоретическом. А. П. Ершов.