一种可以被TM识别但不能由TM决定的语言？

Question

可以通过TM识别但不能由TM决定的语言吗？

  

可由TM识别但不能识别的语言示例   由TM决定

答案是：

<div class="dataTables_wrapper">
        <table datatable="ng" class="table table-bordered table-hover dataTable" role="grid">
        <thead>
        <tr>
            <th>{{texts.fullName}}</th>
            <th>{{texts.title}}</th>
            <th>{{texts.email}}</th>
            <th>edit</th>
        </tr>
        </thead>
        <tbody>
          <tr ng-repeat="contact in contacts track by $index">
            <td>
                {{contact.fullName}}
            </td>
            <td>
              {{contact.title}}
            </td>
            <td>
              <span editable-text="contact.email" e-name="email" e-form="rowform">
                {{ contact.email || 'empty' }}
              </span>
            </td>
            <td>
              <!-- form -->
    <form editable-form name="rowform" onbeforesave="saveUser($data, user.id)" ng-show="rowform.$visible" class="form-buttons form-inline">
      <button type="submit" ng-disabled="rowform.$waiting" class="btn btn-primary">
        save
      </button>
      <button type="button" ng-disabled="rowform.$waiting" ng-click="rowform.$cancel()" class="btn btn-default">
        cancel
      </button>
    </form>
    <div class="buttons" ng-show="!rowform.$visible">
      <button class="btn btn-primary" ng-click="rowform.$show()">edit</button>
      <button class="btn btn-danger" ng-click="removeUser($index)">del</button>
    </div>
            </td>
          </tr>
        </tbody>
      </table>
    </div>

我可能错了吗？

可判定性与可识别性之间有什么区别？

简而言之，TM识别的任何字符串称为TM可识别，而TM可接受的任何字符串称为TM可判定。

Answer 1

对于你的第一个问题 - 是否有一种语言可以通过TM识别，但TM无法判定？ - 答案是＆＃34;是的，＆＃34;你所使用的语言，即通用语言就是这种语言的一个例子。

对于你的第二个问题 - 可判定性与可识别性之间的区别是什么？ - 你给出的答案是在正确的轨道上，但写得不正确。请记住，可判定性和可识别性是语言的适当性，而不是字符串。没有＆＃34;可判定的字符串＆＃34;或者＃34;可识别的字符串。＆＃34;

如果TM M具有以下属性，则语言L是可判定的：对于每个字符串w∈L，M接受w，并且对于每个字符串w∉L，M拒绝w。换句话说，如果你不知道w是否在L中，你可以在W上运行M，等待它给你一个答案，并找到答案。

如果TM M具有以下属性，则语言L是可识别的：对于每个字符串w∈L，M接受w，并且对于每个字符串w∉L，M不接受w（即， M循环w，或M拒绝w）。换句话说，如果你确定w∈L并想要确认这一点，你可以在W上运行M，看着它接受w，并确定你的答案是对的，但如果你事先没有知道如果w在L中，你可能无法用M来找出答案，因为M可能会在w上循环。