我试图弄清楚如何描述五十六个字符串来测试字母{a b}上的三个状态FA是否具有有限语言。
数字56来自一个定理，说明机器是否有N个状态，字母表是否有m个字母，那么总共有m ^ N + m ^（N + 1）+ m ^（N + 2） ）+ ... + m ^（2N-1）个不同的输入字符串，其范围为N <=字符串的长度＆lt; 2N。因此2 ^ 3 2 ^ 4 2 ^ 5 = 56个字符串。
我知道我们可以通过在机器上运行它们来测试它们，如果有任何接受，语言是无限的，如果没有接受，语言是有限的。
我只是不确定如何描述字符串。非常感谢任何帮助！
答案 0 :(得分：0)
如果有人遇到同样的问题，请关注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
<00> 00000 00001 00010 00011 00100 00101 00110 0011101000 01001 01010 01011 01100 01101 01110 01111
10000 10001 10010 10011 10100 10101 10110 10111
11000 11001 11010 11011 11100 11101 11110 11111