답변:
Kaveh가 논평에서 말했듯이, Kleene은 오토마타 이론과 형식적인 언어를 시작했을 때 그 이름을 되찾았습니다. 나는 그의 논문을 읽은 지 몇 년이 지났지 만 그 용어는 자의적이라고 생각합니다.
수학자들은 수학적 대상과 속성에 대한 일반적인 명사와 형용사를 가로채는 습관을 가지고 있으며 때로는 기하학적이나 다른 유추 나 은유와 같은 합당한 이유가 있거나 때로는 임의적입니다. "그룹", "링", "공간", "뭉치", "아틀라스", "매니 폴드", "필드"등을보십시오.
사실, 유한 상태 언어에 대한 "정규"라는 용어는 여전히 오토마타 이론에서 널리 사용되지만 대수 사촌, 유한 반 그룹 이론 또는 추상 대수에서는 많이 사용되지 않습니다. 왜? 이 용어는 특정 기술적 의미에서 그룹에 가까운 세미 그룹에 대해 이미 사용되었으므로 Kleene의 관점에서 일반 언어를 해당하는 일반 세미 그룹 과 일치시킬 수 없습니다 . 셋째, Kleene은 "definite"라고하는 또 다른 종류의 사건을 정의했는데, 이는 한동안 많이 연구되었지만 특히 유익하지 않은 것으로 판명되었습니다. 오늘날, 유한 한 언어 세트는 정기 이벤트의 기초로서 명확한 이벤트의 역할을합니다.
대수에서 선호되는 용어는 Kleene의 언어 클래스와보다 일반적인 반 그룹과 일 원체 모두에 대해 "합리적"입니다. 이 사용은 또한 정수 계수를 가진 선형 방정식의 해법과 오토마타와 형식 언어 이론에서 합리적인 파워 시리즈의 개념으로서 대수학에서 "합리적"이라는 용어 사이의 중요한 비유를 반영합니다.
추가 정보. "신경망과 유한 한 오토마타에서의 사건의 표현"이라는 제목의 1951 년 Kleene의 최초 논문은 여기 에서 찾을 수 있습니다 . 에 p. 이 용어는 다음과 같이 "정규"라는 용어의 임의성을 정산합니다.
우리는 현재 우리가 "정기적 사건"이라고 부르는 사건의 종류를 설명 할 것이다. (보다 구체적인 용어에 대한 제안을 환영합니다.)
분명히 아무도 더 설명적인 용어를 내놓지 않았습니다. ;-)
완전히 새로운 영역의 집중적 인 개발로 이어지는 정액 논문의 경우와 마찬가지로, 오늘날의 용어로는 용어와 개념을 거의 인식 할 수 없습니다. 첫째, 논문은 뉴런의 모델에 관한 것이기 때문에 "언어"또는 "세트"대신 "이벤트"를 사용합니다. "이벤트"라는 용어는 오토마타 및 형식 언어에 대한 Kleene의 개념의 중요성이 신경 과학의 가치를 크게 상회 한 후에도 60 년대와 70 년대에도 잘 유지되었습니다.
둘째, 오늘날 우리가 사용 하는 간단한 단항 연산 또는 대신 와 동등한 이진 연산으로 "Kleene Closure"라는 것을 정의하는 것과 같은 수학적 차이점이 있습니다. Kleene의 동기는 빈 문자열 (또는 기간이 0 인 이벤트)을 피하는 것이 었습니다. 후속 이론에서 많은 맥락에서 빈 문자열을 정의에 포함하거나 제외시키는 것이 얼마나 중요한지를 보여 주었기 때문에 이는 매우 유능한 직관이었습니다. 셋째, Kleene은 "definite events"라는 개념을 정의하고 그로부터 정기적 인 이벤트를 개발했지만 현재는 목적을 위해 유한 세트를 사용합니다. 확실한 이벤트는 한동안 연구되었지만 일반 이벤트 / 세트 / 언어보다 훨씬 덜 중요하다는 것이 밝혀졌습니다.
어쨌든,이 백서를 완전히 읽은 것은 역사적인 목적을 제외하고 오늘날 누군가의 시간 가치가 없을 것입니다. 나는 중요한 정의와 아이디어를 위해 그것을 감추었습니다.
"정규"라는 용어는 항상 반복되는 패턴을 기반으로한다는 것을 이해했습니다. 특정 길이의 모든 문자열을 열거 한 후에는 모두 본 것입니다. 이후에는 새로운 것이 없습니다.
(물론 모호한 직관 일뿐입니다.)