语言的有限自动机定义答案

【问题标题】：Finite Automata Definition of language语言的有限自动机定义
【发布时间】：2014-03-25 00:31:41
【问题描述】：

您好，我想简单地定义一种 FA 接受的语言，FA 是：

我认为是带字符串的语言

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

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

【问题讨论】：

【解决方案1】：

所有偶数位置上没有'b'的偶数长度字符串。

【讨论】：

【解决方案2】：

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

【讨论】：

【解决方案3】：

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

【讨论】：