定义字符串并绘制语言

时间:2015-05-18 06:27:32

标签: finite-automata automata automata-theory

以Σ= {A,B,C}定义的所有字符串的语言以B开头,以A结尾,最小长度为3,并为该语言绘制有限自动机。

请用正则表达方式和语言图解释一下。在Σ= {X,Y,Z}上定义的所有字符串的语言,其中Y为第三个字母,Z为第二个字母

2 个答案:

答案 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只是以完成状态结束(规则中没有明确提到)。

自动机看起来像这样:

Finite automaton for above language

识别所讨论语言的正则表达式如下:

  

B[ABC][ABC]*A - 或更短 - B[ABC]+A

在这种情况下,查看自动机和正则表达式之间的对应关系很简单(特别是第一个正则表达式)。

Divyesh的回答几乎也是正确的,他画了一个确定性的自动机。你只需要删除转换到q4就可以了。

答案 1 :(得分:-1)

自动机必须是这个... enter image description here