regular-language - 给定两个 DFA，如何检查第一个 DFA 生成的语言是否包含在第二个 DFA 生成的语言中？
问题描述
我必须给出一个算法来检查给定两个 DFA，第一个生成的语言是否包含在另一个生成的语言中。例如，假设第一种语言识别 {a,b}* 上长度为 2 的单词，而第二种语言识别 {a,b}* 上长度为 3 或更短的单词。在此示例中，第一种语言包含在第二种语言中。我的一个想法是最小化 DFA 并查看 DFA1 中的状态和转换是否也包含在 DFA2 中，但我认为这不是一个好的解决方案。
解决方案
推荐阅读
- r - 映射R中每个位置的半径内有多少点
- php - 无法访问 Laravel 8 Jetstream 项目中存储的图像
- c++ - 如何简化检查一对数字是（1,2）还是（2,1）？
- bash - 将 stderr 重定向到 err 函数
- file - 如何在 VDM++ 中建模接受 pdf 文件作为输入
- python - Python 和蓝牙低功耗：有没有 pygatt 的替代品？
- c - 我的功能被跳过，我不知道为什么
- json - Transforming high-redundancy CSV data into nested JSON using jq (or awk)?
- apache-flink - 在flink processFunction中，所有mapstate在onTimer()函数中都是空的
- javascript - Javascript预先选择的选择选项不显示隐藏值