【问题标题】：Decidability of a three state FA三态 FA 的可判定性
【发布时间】：2012-09-29 01:29:07
【问题描述】：
我试图弄清楚如何描述 56 个字符串来测试字母表 {a b} 上的三态 FA 是否具有有限语言。
数字 56 来自一个定理，即如果一台机器有 N 个状态，而一个字母表有 m 个字母，那么总共有 m^N + m^(N + 1) + m^(N + 2 ) +...+ m^(2N-1) 范围内的不同输入字符串 N
我知道我们可以通过在机器上运行它们来测试它们，如果有任何被接受，则语言是无限的，如果没有被接受，则语言是有限的。
我只是不确定如何描述这些字符串。非常感谢任何帮助！
【问题讨论】：
标签：
finite-automata
computation-theory
【解决方案1】：
如果有人遇到同样的问题，请关注 N 到 2N - 1。我们得到：
000 001 010 011 100 101 110 111
0000 0001 0010 0011 0100 0101 0110 0111
1000 1001 1010 1011 1100 1101 1110 1111
00000 00001 00010 00011 00100 00101 00110 00111
01000 01001 01010 01011 01100 01101 01110 01111
10000 10001 10010 10011 10100 10101 10110 10111
11000 11001 11010 11011 11100 11101 11110 11111