Понимание распознавателей и решателей в теории вычислений

У меня возникают некоторые проблемы с пониманием того, что означает для машины распознавание и выбор языка. Думаю, я близок к определениям, но не прав.

Когда говорят, что машина Тьюринга T распознает язык L , где

L = { <A> | A is a DFA }

где DFA = детерминированный конечный автомат

, я понимаю, что это означает, что можно Постройте машину Тьюринга, которая при любом виде ввода (строки, машины, люди, что угодно!) сможет сказать вам, является ли эта вещь, которую вы дали ей в качестве ввода, DFA или нет. Под этим я подразумеваю, что всегда будет принимать DFA и всегда будет отклонять ввод, отличный от DFA.

То есть, если этот ввод является членом L . Другой пример: парень X узнает своего отца, так как что бы вы ни поставили перед ним, он сможет сказать вам, является ли то, что перед ним, его отцом или нет. Это правильно? Какая часть неверна?

С другой стороны, решатель над языком кажется машиной Тьюринга, которая никогда не зацикливается , то есть всегда будет останавливаться в состоянии принятия или отклонения для любого ввода. Разве это не будет похоже на то, что я объяснял выше о распознавателях?

Спасибо