以Σ= {A,B,C}定义的所有字符串的语言以B开头,以A结尾,最小长度为3,并为该语言绘制有限自动机。
请用正则表达方式和语言图解释一下。在Σ= {X,Y,Z}上定义的所有字符串的语言,其中Y为第三个字母,Z为第二个字母
答案 0 :(得分:1)
s - > Bx的
x - > Ay |通过| CY
y - > Ay |通过| Cy |甲
绘制有限自动机并不太难。小写字母是状态,大写字母是输入符号。
州“s”是开始状态。
从那里开始,单词以B开头,以“x”状态结束。
从“x”开始,输入可以是A或B或C,并导致状态“y”。
从“y”开始,输入可以是A或B或C,并且返回“y”。输入C是特别的,因为它可以/必须是单词的最后一个符号。所以A只是以完成状态结束(规则中没有明确提到)。
自动机看起来像这样:
识别所讨论语言的正则表达式如下:
B[ABC][ABC]*A
- 或更短 -B[ABC]+A
在这种情况下,查看自动机和正则表达式之间的对应关系很简单(特别是第一个正则表达式)。
答案 1 :(得分:-1)
自动机必须是这个...