• Journal of applied mathematics & informatics
• /
• 제16권1_2호
• /
• pp.559-569
• /
• 2004

In this paper we shall discuss the quasi-perfect automata associated with power automata. We shall give the fact that its power automaton is invertible if an automaton A is quasi-perfect. Moreover, some subgroups and normal subgroups of the characteristic semigroup X(M) will have the very interesting parts in their structures.

• Journal of applied mathematics & informatics
• /
• 제16권1_2호
• /
• pp.571-583
• /
• 2004

In this paper we shall discuss the quasi-perfect automata associated with power automata. We shall give the fact that x(M)/ HX is normal subgroup of the characteristic semigroup x(M) if the automaton A is quasi-perfect and x(M)/HX = x$(M)_H$ if A is perfect. Moreover, it is a very interesting part that x$(M)_H$ is conjugate to x$(M)_{Ha}$ for every a $\in$ X. Also we shall give a characterization of Ha = Hb for x$(M)_H$.

• Journal of applied mathematics & informatics
• /
• 제17권1_2_3호
• /
• pp.779-786
• /
• 2005

In this paper we shall discuss some properties derived from the characteristic S-automaton $_x(S)_M$, using the fact that ${\mu}_S$ is an equivalence relation on M. When $L_{m}:S{\rightarrow}M$ is a left translation and $L_{M}$ is a collection of $L_{m}'s$, we shall show $_x(S)_{M}{\cong}L_{M}$. If S is commutative, we have $_x(S)_{M{\times}N{\cong}L_{M{\times}N}$. Moreover when M and N are perfect, we have $L_{M{\times}N}{\cong}L_{M}{\times}L_{N}$ and $_x(S)_{M{\times}N}{\cong}_x(S)_{M}{\times}_x(S)_N$.

• 한국정보통신학회논문지
• /
• 제8권6호
• /
• pp.1047-1054
• /
• 2004

컴퓨터 과학에서의 중요한 문제중의 하나가 '정보를 어떻게 잘 저장하고 효과적으로 검색할 수 있는가' 이다. 이러한 문제를 해결하는 기술이 해싱이다. 본 논문에서는 두 개의 직전자와 하나의 끌개를 갖는 선형 셀룰라 오토마타와 그것의 여원 셀룰라 오토마타의 특성을 이용하여 만들어진 트리구성 알고리즘을 제안한다. 또한, MRT 개념을 이용한 두 개의 직전자와 하나의 끌개를 갖는 선형 셀룰라 오토마타를 기반으로 하는 완전 해싱 알고리즘을 제안한다.