Структурный анализ двухленточных автоматов для решения проблемы минимизациитезисы доклада