deterministic finite automata or pushdown automata may provide savings in size which are not bounded by any recursive function, so-called non-recursive trade... A Malcher - 《Ieice Transactions on Information & Systems》 被引量: 35发表: 2003年 Rūsi Freivalds: Amount of Nonconstructivity in Fin...