実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム
実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム
复制标题
实时终态接受型确定性有限单计数器变换器多项式时间等价判定算法
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
若月光夫，清野和司，富田悦次，西野哲朗
中科院分区：
文献类型：
--
作者：
蕪城俊克;他;若月光夫，清野和司，富田悦次，西野哲朗
