如何获得DFA交集?
我们如何使用交集法组合两个 dfa ?
How do we combine two dfa using intersection method ?
如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱,如果其他用户或者作者回复了您的评论,将不能在第一时间通知您!
我们如何使用交集法组合两个 dfa ?
How do we combine two dfa using intersection method ?
由于您还没有绑定你的真实邮箱,如果其他用户或者作者回复了您的评论,将不能在第一时间通知您!
接受
或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
发布评论
评论(1)
使用跨积构造,此处正式解释。
本质上,您可以对每个机器中的状态集进行叉积,以获得与每台机器的任意状态组合相对应的元状态列表。这允许您进行并行评估以接受(如果双方都接受)。
Use the cross product construction, explained formally here.
Essentially you cross product the sets of states in each one to get a list of meta states corresponding to any combination of states for each machine. This allows you to do a parallel evaluation to accept if both accept.