Автоматные модели машин Тьюрингадиссертация