[논문 리뷰] On composite and non-monotonic growth functions of Mealy automata

Illya I. Reznykov|arXiv (Cornell University)|2005. 06. 15.

semigroups and automata theory참고 문헌 6인용 수 3

한 줄 요약

이 논문은 메일리 오토마타의 복합 성장 함수—서로소인 무한 구간에서 다른 표현식으로 정의되는 함수—를 소개하고, 다항수준의 비단조화 성장 함수를 갖는 메일리 오토마타의 존재를 보여준다. 또한 중간 및 지수 성장 유형의 복합 단조성 성장 함수를 갖는 예시를 제시하여, 이러한 성장 함수가 항상 단조적이라는 기존의 가정을 도전한다.

ABSTRACT

We introduce the notion of composite growth function and provide examples that illustrate the primary properties of these growth functions. There are provided examples of Mealy automata that have composite non-monotonic growth functions of the polynomial growth order. There are described examples of Mealy automata that have composite monotonic growth functions of intermediate and exponential growth. The questions concerning the interrelation between the notions ``composite'' and ``non-monotonic'' of a Mealy automaton growth function are formulated.

연구 동기 및 목표

• 메일리 오토마타에서 성장 함수가 서로소인 구간에서 조각별로 정의되는 복합 성장 함수의 개념을 도입하고 체계화한다.
• 일반적으로 단조적이라고 여겨지는 것과는 반대로, 다항수준의 비단조화 성장 함수를 갖는 메일리 오토마타의 존재를 입증한다.
• 중간 및 지수 성장 유형의 복합 단조성 성장 함수를 갖는 메일리 오토마타의 예를 구성한다.
• 메일리 오토마타 성장 함수의 맥락에서 '복합적'이자 '비단조화적'인 성질 간의 상호작용을 조사한다.
• 복잡한 오토마타를 위한 반군 원소의 정규형에 관한 기초 결과와 명제를 마련하여 성장 행동의 향후 분석을 가능하게 한다.

제안 방법

• 자연수의 겹치지 않는 무한 구간에서 서로 다른 함수 형태로 표현될 수 있는 성장 함수를 복합 성장 함수로 정의한다.
• 메일리 오토마타 변환의 펼친 형태를 활용하여 상태 작용에 의해 생성된 반군 원소의 구조를 분석한다.
• 두 상태와 이원 알파벳을 갖는 특정한 메일리 오토마타를 구성하여 전이 및 출력 함수를 사용해 조각별 정의된 성장 함수를 유도한다.
• 이전 연구(Reznykov, 2002, 2003)에서 제시된 2상태 메일리 오토마타와 다항 성장에 관한 기법을 활용하여 구성된 예시의 성장 행동을 분석한다.
• 성장 함수의 유한 차분을 분석하여, 예를 들어 값이 두 배로 반복되는 패턴을 확인함으로써 성장 행동의 구조적 복잡성을 파악한다.
• 복잡한 오토마타에서 반군 원소의 정규형을 제공하여 성장 함수 표현의 유도를 지원한다.

실험 결과

연구 질문

• RQ1 메일리 오토마타는 비단조화 성장 함수를 나타낼 수 있으며, 만약 그렇다면 이러한 성장 함수를 가능하게 하는 구조적 성질은 무엇인가?
• RQ2 메일리 오토마타에서 복합 성장 함수가 실현할 수 있는 성장 유형(다항, 중간, 지수)은 어떤 것들이 있는가?
• RQ3 메일리 오토마타에서 성장 함수의 복합성과 비단조화성 성질은 어떻게 상호작용하는가?
• RQ4 전이 및 출력 함수에 어떤 조건이 필요하면, 서로 다른 표현식을 갖는 무한 구간에서 정의된 조각별 성장 함수가 유도될 수 있는가?
• RQ5 메일리 오토마타의 성장 함수가 생성하는 반군의 성장 함수와 순서가 다를 수 있는가?

주요 결과

• 논문은 다항수준의 복합 비단조화 성장 함수를 갖는 메일리 오토마타를 구성하여, 이러한 행동을 보이는 첫 번째 알려진 예시를 제공한다.
• 중간 및 지수 성장 유형의 복합 단조성 성장 함수를 갖는 메일리 오토마타의 예시가 명시적으로 기술되어 있다.
• 일부 오토마타의 성장 함수는 서로소인 무한 구간에서 다른 표현식으로 정의됨을 보여, 함수의 복합성 구조를 확인한다.
• 일부 예시에서 성장 함수의 유한 차분은 반복되는 값을 포함하여, 성장 패턴 내에서 구조적 주기성 또는 대칭성을 시사한다.
• 가장 복잡한 오토마타에 대해 반군 원소의 정규형이 유도되었으며, 이는 성장 함수 행동의 정밀한 분석을 가능하게 한다.
• 결과적으로 메일리 오토마타의 성장 함수가 반드시 비감소적이라는 일반적인 견해를 도전하며, 비단조화성이 가능함을 입증한다.