【摘 要】
：
In this paper, weights of output set and of input set for finite automata are discussed. For a weakly invertible finite automaton, we prove that for states wit
【机 构】
：
Laboratory for Computer Science
论文部分内容阅读
In this paper, weights of output set and of input set for finite automata are discussed. For a weakly invertible finite automaton, we prove that for states with minimal output weight, the distribution of input sets is uniform. Then for a kind of compound finite automata, we give weights of output set and of input set explicitly, and a characterization of their input-trees. For finite automaton public key cryptosystems, of which automata in public keys belong to such a kind of compound finite automata, we evaluate search amounts of exhaust search algorithms in average case and in worse case for both encryption and signature, and successful probabilities of stochastic search algorithms for both encryption and signature. In addition, a result on mutual invertibility of finite automata is also given.
其他文献
The Yang-Mills-Higgs field generalizes the Yang-Mills field. The authors establish the local existence and uniqueness of the weak solution to the heat flow for
A new triterpenoid saponin, together with a known saponin, was isolated from the flowers of Lonicera Japonica Thunb. Using chemical and spectroscopic methods, m
Two new compounds named decuroside Ⅵ(1) and decursidate (2) were isolated from the roots of Peucedanum decursivum - a traditional Chinese medicine. Their struc
This paper studies the value distribution of random analytic Dirichlet series f:(s) = ∞∑n=1 Zn(ω)e-sλn,where {Zn} is a sequence of independent random variab
在QCISD水平上基于相对论紧致有效势（RCEP:Relativistic Compact Effective Poten-tial)方法优化出的LaH2分子的基态为C2v(X2A1)构型，其∠HLaH=124.4°、平衡核间距Re=2.1945A
The retinal structure and visual acuity in Japanese flounder Paralichthys olivaceus at different stages of development were examined by light microscopy. The re
This paper deals with the existence and multiplicity of periodic solutions of Duffing equations x + g(x) ＝ p(t). The author proves an infinity of periodic soluti
Two new b -dihydroagarofuran sesquiterpenes were isolated from Euonymus phellomana Loes.and their structures were established on the basis of spectral analysis.
A novel matrix of macropore cellulose membrane was prepared by chemical graft, and immobilized the cationic charged groups as affinity ligands. The prepared mem
Pharmacological studies demonstrated that paclitaxel (Zisu(R)) was very active in the inhibition of the growth of human cancer cell panel including KB cells, HC