В.С. Анашин. Блокчейн, смарт-контракты и неархимедова теория автоматов (продолжение)