NBW:不确定性 Byuchiword
“Nondeterministic Büchi word”常缩写为NBW,这一简称便于快速书写和应用。它常见于自动机理论与形式验证等领域,尤其在系统综合方面有重要作用。“Nondeterministic Büchi word”的中文译法为“非确定性布奇词”,主要用于描述一类接受无限序列的自动机模型。
nondeterministic Büchi word具体释义
nondeterministic Büchi word的英文发音
本站英语缩略词为个人收集整理,可供非商业用途的复制、使用及分享,但严禁任何形式的采集或批量盗用
若NBW词条信息存在错误、不当之处或涉及侵权,请及时联系我们处理:675289112@qq.com。