有限自动机语言定义

Question

您好我正在尝试定义FA接受的语言，简单来说就是FA：

  

我认为这是带字符串的语言

（不是以ab和开头 没有子串bb，也以a）结尾 还有NULL字符串

但我不知道这是最短的定义还是正确的呢？

Answer 1

在任何偶数位置都没有'b'的所有偶数长度字符串。

Answer 2

你是对的。 FA定义了一种语言，其中包含连续aa和ba的所有字符串。字符串不以ab开头，也不包含bb。更简洁的正则表达式是(aa|ba)*

Answer 3

任何（“aa”或“ba”）的计数都是可能的（也是0次） 作为正则表达式([ab]a)*
换句话说：即使是字符数，每个奇数位置都是a或b，其余只有a 你的定义缺乏“偶数”部分，首先是。