детерминистская машина Тьюринга

deterministic Turing machine (в которой ход вычислений полностью определяется программой, начальным символом и начальными вводами с ленты ssn)