Коданные

Коданные — в информатике сущность, дуальная к данным. Коданные являются потенциально бесконечными контейнерами, которые могут содержать в себе как элементы данных, так и элементы коданных. Для оперирования коданными используется механизм корекурсии, для доказательства свойств коданных используется коиндукция (в прямой аналогии с данными, для которых используются рекурсия и индукция соответственно).

См. также

• Данные
• Коиндукция
• Корекурсия

Внешние ссылки

На английском языке

• Data and Codata