Graph 每个字母的转换图?

Graph 每个字母的转换图?,graph,finite-automata,computation-theory,automata-theory,Graph,Finite Automata,Computation Theory,Automata Theory,如何确定特定字母表上有多少个不同的转换图?例如,字母表{x,y}上有多少个TG。我正在上一堂课,课上有丹尼尔·科恩(Daniel I.a.Cohen)的书《计算机理论导论》(Introduction to computer theory)中的一个类似问题。有很多关于如何创建TG的例子,但没有什么可以确定每种语言可以创建多少TG。我假设我在寻找有限量的TG?多谢各位 这样的转移图有无数个。考虑这一点的一种方法是,您可以很容易地构建一个由无限多个过渡图组成的族,如下所示。假设我想要接受语言an来表示

如何确定特定字母表上有多少个不同的转换图?例如,字母表{x,y}上有多少个TG。我正在上一堂课,课上有丹尼尔·科恩(Daniel I.a.Cohen)的书《计算机理论导论》(Introduction to computer theory)中的一个类似问题。有很多关于如何创建TG的例子,但没有什么可以确定每种语言可以创建多少TG。我假设我在寻找有限量的TG?多谢各位

这样的转移图有无数个。考虑这一点的一种方法是,您可以很容易地构建一个由无限多个过渡图组成的族,如下所示。假设我想要接受语言an来表示一些固定的n(即,字母a的n个副本)。然后我可以构建一个转换图,它接受这种语言,如下所示。从一个开始状态开始,然后将n个新状态链到该状态的末尾,每个状态都在“a”上转换到下一个状态。使最后一个状态接受


要知道这些自动机只有无限多个,我们可以考虑如何描述这些自动机。我们可以这样做,先用一元数写出状态数,然后把这些状态之间的转换写成元组列表(开始、结束、字符)(都用二进制编码),然后把接受状态写成一元数的状态数列表。连接在一起,这是一个二进制字符串,并且只有可数个有限的二进制字符串。

你应该在Wow上问这个问题!我甚至不知道它的存在,谢谢!好的,太好了。我还没有完全理解,但你给了我一些好的关键词来研究。非常感谢。