АКСЕРАЦИОННЫЕ ФОРМЫ ПРЕДСТАВЛЕНИЯ МАРКОВСКИХ ПРОДУКЦИЙ В ПРОЦЕССАХ ОБРАБОТКИ ГРАФИЧЕСКИХ ОБЪЕКТОВ

摘要

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