О теоретико-автоматных моделях блокчейн-средыстатья
Статья опубликована в журнале из списка RSCI Web of Science
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 20 декабря 2019 г.
Аннотация:Рассматриваются методы анализа и моделирования блокчейн-среды, основанные на теоретико-автоматных моделях, в первую очередь на так называемых «автоматах с метками времени» (timedautomata). Также предлагается новая версия автоматов с метками времени, позволяющая избежатьнекоторых неудобств моделирования с помощью классических автоматов с метками времени, а примоделировании блокчейн-среды на основе последних приходится использовать переменные разныхтипов, действительные и булевы, что вызывает ряд сложностей как теоретического, так и практическогохарактера. Предлагаемый подход основан на применении 2-адического анализа, что дает возможностьиспользовать переменные одного и того же типа, а именно булева.