Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
2つの非決定性有限オートマトンM1とM2が与えられた場合、 M1によって受け入れられた言語がM2によって受け入れられた言語のスーパーセットであるかどうかを判断するための効率的なアルゴリズムはありますか？