Аннотация:
В работе приведён обзор основных результатов в области теории автоматов, связанных с решением проблем полноты и выразимости, в том числе в ослабленных вариантах постановок.
Ключевые слова:
алгебры автоматов, проблемы полноты и выразимости, предполные классы.
Полный текст:
PDF файл (331 kB)