• Title/Summary/Keyword: 유한상태 오토마타

Search Result 36, Processing Time 0.027 seconds

Generation of Additive Maximum Length Cellular Automata (최대길이를 갖는 가산 셀룰라 오토마타의 생성)

  • Cho, Sung-Jin;Choi, Un-Sook
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2004.05a
    • /
    • pp.1071-1074
    • /
    • 2004
  • 최대길이를 갖는 선형유한상태기계(LFSM)가 패턴생성, 신호분석, 암호, 오류정정 부호에 응용되면서 n차 원시다항식을 특성다항식으로 갖는 선형유한상태기계에 관한 연구가 활발하게 이루어지고 있다. 본 논문은 최대길이를 갖는 다양한 셀룰라 오토마타의 효과적인 생성방법을 제안한다. 특성다항식이 n 차 원시다항식인 선형 MLCA로부터 유도된 여원 CA가 MLCA임을 밝히며 여원 MLCA의 여러 가지 성질들을 분석한다. 또한 n-셀 MLCA를 ${\phi}(2^n-1)2^{n+1}/n$개 생성할 수 있음을 보인다.

  • PDF

The Analysis of State-Transition of SACA over GF(2p) (GF(2p) 위에서의 SACA의 상태전이 분석)

  • Cho Sung-Jin;Hwang Yoon-Hee;Kim Han-Doo;Pyo Yong-Soo;Choi Un-Sook
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.15 no.2
    • /
    • pp.105-111
    • /
    • 2005
  • Though GF(2) CA can only handle data with bit units GF(2p) CA can handle data with units more than bit units. In this paper we analyze the state-transition of nongroup cellular automata(CA) with a single attractor over GF(2p). And we propose the constructing method the state-transition diagram of a linear SACA over GF(2p) by using the concept of basic path. Also we propose the state-transition diagram of the nonlinear complemented SACA by using the state-transition diagram of a linear SACA.

Syntax-driven Automata Generation for Esterel (Esterel 문법구조 바탕의 오토마타 생성)

  • Lee, Chul-Woo;Kim, Chul-Joo;Yun, Jeong-Han;Han, Tai-Sook;Choe, Kwang-Moo
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.16 no.11
    • /
    • pp.1136-1140
    • /
    • 2010
  • Esterel is an imperative synchronous language and its formal semantic based on finite state machine makes it easy to perform program analyses using automata. In this paper, we propose a syntax-driven automata generation rule. Because our rule intuitively expresses syntactic structure, it is very useful for other program analyses.

Korean Continuous Speech Recognition Using Discrete Duration Control Continuous HMM (이산 지속시간제어 연속분포 HMM을 이용한 연속 음성 인식)

  • Lee, Jong-Jin;Kim, Soo-Hoon;Hur, Kang-In
    • The Journal of the Acoustical Society of Korea
    • /
    • v.14 no.1
    • /
    • pp.81-89
    • /
    • 1995
  • In this paper, we report the continuous speech recognition system using the continuous HMM with discrete duration control and the regression coefficients. Also, we do recognition experiment using One Pass DP method(for 25 sentences of robot control commands) with finite state automata context control. In the experiment for 4 connected spoken digits, the recognition rates are $93.8\%$ when the discrete duration control and the regression coefficients are included, and $80.7\%$ when they are not included. In the experiment for 25 sentences of the robot control commands, the recognition rate are $90.9\%$ when FSN is not included and $98.4\%$ when FSN is included.

  • PDF

The state complexity of ${\sum}^*L$ for pattern matching (패턴매칭을 위한 오토마타의 상태복잡도)

  • Eom, Hae-Sung;Han, Yo-Sub
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2011.06b
    • /
    • pp.478-480
    • /
    • 2011
  • 우리는 패턴매칭에서 많이 사용되는 정규언어의 연산 ${\sum}^*L$에 대한 일반적인 경우의 상태복잡도와 단항 알파벳인 경우의 상태복잡도를 살펴본다. 정규언어의 상태복잡도는 해당 정규언어를 승인하는 최소결정적 유한 인식기의 상태 개수를 말한다. 패턴매칭, 검색엔진에 많이 사용되는 어떤 정규언어 L 에 대한 연산 ${\sum}^*L$의 상태복잡도를 살펴봄으로써, 좀 더 효율적인 리소스 관리를 통해 좀 더 빠른 검색을 할 수 있다.

Characterization of SACA over GF(2$^{p}$) (GF(2$^{p}$) 위에서의 SACA의 특성화)

  • Choi, Un-Sook;Cho, Sung-Jin;Hwang, Yoon-Hee
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • v.9 no.1
    • /
    • pp.335-338
    • /
    • 2005
  • Though GF(2) CA can only handle data with bit units, GF(2$^{p}$) CA can handle data with byte units. In this paper we analyze the state-transition of nongroup cellular automata(CA) with a single attractor over GF(2$^{p}$). And we propose the constructing method of the state-transition diagram of a linear SACA over GF(2$^{p}$) by using the concept of basic path. Also we propose the state-transition diagram of the nonlinear complemented SACA by using the state-transition diagram of a linear SACA.

  • PDF

A Study on the Recurrence for the Transition Functions of Finite Cellular Automata (유한 셀룰러 오토마타 천이함수의 재귀식에 대한 연구)

  • Lee, Hyen-Yeal;Lee, Geon-Seon
    • The KIPS Transactions:PartA
    • /
    • v.14A no.4
    • /
    • pp.245-248
    • /
    • 2007
  • This paper provides some simple recursive formulas generation transition functions of finite cellular automata with triplet local transition functions under two states (0 and 1) and four different boundary conditions (0-0,0-1,1-0,1-1), and classify transition functions into several classes.

Analysis of hash functions based on cellular automata (셀룰러 오토마타 기반 해쉬 함수 분석)

  • Jeong Kitae;Lee Jesang;Chang Donghoon;Sung Jaechul;Lee Sangjin
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.14 no.6
    • /
    • pp.111-123
    • /
    • 2004
  • A hash function is a function that takes bit strings of arbitrary length to bit string of fixed length. A cellular automata is a finite state machine and has the property of generating pseudorandom numbers efficiently by combinational logics of neighbour cells. In [1] and [7], hash functions based on cellular automata which can be implemented efficiently in hardware were proposed. In this paper, we show that we can find collisions of these hash functions with probability 0.46875 and 0.5 respectively.

Processing Methodology for a Numeral in Korean Morphological Analyzing (한국어 형태소 분석에서의 수사 처리)

  • Kim, Min-Jung;Kwon, Hyuck-Chul
    • Annual Conference on Human and Language Technology
    • /
    • 1991.10a
    • /
    • pp.178-187
    • /
    • 1991
  • 본 논문에서는 컴퓨터를 이용한 형태소 분석에서 수사의 고유한 특성을 고려한 수사 처리에 관하여 연구하였다. 명사나 관형사와는 다른 수사 고유 특성 중 하나인 합성수사를 만드는 어순규칙을 경험정보(heuristic information)로 이용하기 위해 유한 상태 오토마타로 표현하였으며, 어절의 어순을 이용하여 수사 처리를 여러 어절까지 가능하게 하였다. 수사에 의해 영향을 받는 단위명사도 수사와 함께 처리할 수 없게 하였다. 제시된 수사 처리 방법은 중의성을 줄이고 보다 정확한 분석을 가능하게 했다.

  • PDF

On the Construction of the 90/150 State Transition Matrix Corresponding to the Trinomial x2n-1 + x + 1 (3항 다항식 x2n-1 + x + 1에 대응하는 90/150 상태전이행렬의 구성)

  • Kim, Han-Doo;Cho, Sung-Jin;Choi, Un-Sook
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.13 no.2
    • /
    • pp.383-390
    • /
    • 2018
  • Since cellular automata(CA) is superior to LFSR in randomness, it is applied as an alternative of LFSR in various fields. However, constructing CA corresponding to a given polynomial is more difficult than LFSR. Cattell et al. and Cho et al. showed that irreducible polynomials are CA-polynomials. And Cho et al. and Sabater et al. gave a synthesis method of 90/150 CA corresponding to the power of an irreducible polynomial, which is applicable as a shrinking generator. Swan characterizes the parity of the number of irreducible factors of a trinomial over the finite field GF(2). These polynomials are of practical importance when implementing finite field extensions. In this paper, we show that the trinomial $x^{2^n-1}+X+1$ ($n{\geq}2$) are CA-polynomials. Also the trinomial $x^{2^a(2^n-1)}+x^{2^a}+1$ ($n{\geq}2$, $a{\geq}0$) are CA-polynomials.