О ПРИМЕНЕНИИ КОНЕЧНЫХ АВТОМАТОВ К ИССЛЕДОВАНИЮ РАЗРЕШИМОСТИ ТЕОРИИ С ОПЕРАТОРОМ ФИКСИРОВАННОЙ ТОЧКИ
Gespeichert in:
| Titel: | О ПРИМЕНЕНИИ КОНЕЧНЫХ АВТОМАТОВ К ИССЛЕДОВАНИЮ РАЗРЕШИМОСТИ ТЕОРИИ С ОПЕРАТОРОМ ФИКСИРОВАННОЙ ТОЧКИ |
|---|---|
| Verlagsinformationen: | Тверской госуниверситет, 2016. |
| Publikationsjahr: | 2016 |
| Schlagwörter: | 510.652 Формальная арифметика. Формальная теория чисел |
| Beschreibung: | Мы исследуем вопрос об эффективной элиминации оператора фиксированной точки для некоторых формул специального вида, содержащих равенства, в теории целых чисел с функцией следования. Для формул с двумя кластерами мы строим конечный автомат для языка, состоящего из слов, соответствующих минимальной фиксированной точке |
| Publikationsart: | Article |
| Dateibeschreibung: | application/pdf |
| Sprache: | Russian |
| Zugangs-URL: | https://openrepository.ru/article?id=438299 |
| Dokumentencode: | edsair.httpsopenrep..083bb7c2a617076fd0335a06e90ba1f7 |
| Datenbank: | OpenAIRE |
Nájsť tento článok vo Web of Science Schreiben Sie den ersten Kommentar!