Дата публикации: 2016

Дата публикации в реестре: 2020-03-18T12:53:33Z

Аннотация:

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

Тип: Статья