标签：图灵机的无法确定的问题

2020-02-14半瓶木阅读(1441)评论(0)赞(0)

本文概述 减少 空和非空语言 在本节中，我们将讨论有关图灵机的所有不确定的问题。减少量用于证明给定语言是否可取。在本节中，我们将首先了解归约的概念，然后我们将在这方面看到一个重要的定理。 减少 归约是一种技术，其中，如果将问题P1简化为问题...