在CS当然我以有语言的例子,是不是正规: {a^nb^n | n >= 0}
我能理解,这不是经常因为没有有限状态自动/机可以写一个鉴定和由于它没有内存组件,因此接受这个输入。 (请纠正我,如果我错了) wikipedia entry on Regular Language也列出这个例子,但没有提供(数学)证明为什么它不规则。 任何人都可以启发我,并为此提供证据,或者指出我也是一个很好的资源?
我必须在一个类中创建一个基本的FSM,并用Python编写它。该任务要求我们从文本文件中读取机器的转换。因此,例如,有3个状态,每个有2个可能的过渡,与可能的输入“A”和“b”一个FSM,wolud有一个文本文件,它看起来像这样: 2 # first line lists all final states
0 a 1
0 b 2
1 a 0
1 b 2
2 a 0
2 b 1