Как определить, является ли машина эквивалентом машины Тьюринга

Я нашел в Википедии статью со списком эквивалентов машины Тьюринга . Однако в нем не говорится о методе определения, является ли данная машина эквивалентом машины Тьюринга.

Нужно ли мне использовать определение машины Тьюринга, чтобы доказать это? Не могли бы вы привести пример?

Спасибо.