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