𝕏 LINE FB

能达状态

                    néng dá zhuàng tài                

専門用語

到達可能状態。ある初期状態から有限回の遷移で到達しうるシステムの状態。

📝 オートマトン理論・ペトリネット・モデル検査などで用いられる概念。

算法会枚举系统所有的能达状态。 (suàn fǎ huì méi jǔ xì tǒng suǒ yǒu de néng dá zhuàng tài.)

アルゴリズムはシステムのすべての到達可能状態を列挙する。

能达状态的数量随并发度指数增长。 (néng dá zhuàng tài de shù liàng suí bìng fā dù zhǐ shù zēng zhǎng.)

到達可能状態の数は並行度に応じて指数関数的に増加する。

该错误不出现在任何能达状态中。 (gāi cuò wù bù chū xiàn zài rèn hé néng dá zhuàng tài zhōng.)

そのエラーはいかなる到達可能状態にも現れない。

⚖️ 類義語との比較

「能达状态」は到達可能な状態集合の要素、「状态空间」はそれらを含む全体の空間を指す。

生成: claude-opus-4-8 ／生成日: 2026/07/19 22:23 ／ v1 ／ ★★★☆ 高性能AI生成

🔗 「能达状态」を他の辞書で調べる (13件)