Моделирование схем из функциональных элементов машинами Тьюрингастатья