FSM의 상태가 전통적으로

13

동기식 논리 회로를 사용하여 FSM을 구현하는 방법을 가르치면서 이론적 인 CS 세계와 전기 공학 세계에서 "상태"는 일반적으로 (및 상태 공간 )로 표시됩니다. 먼저 EE.sx에 대해 질문 했지만이 주제를 조금 연구하면서 Turing의 원본 1936 논문 에서도 사용 한다는 것을 알았습니다 튜링 기계의 상태를 나타 내기 위해 . $q$ $Q$ $q_1..q_n$

그래서 나는 이 컨벤션이 언제 돌아가고 왜 "상태"가 로 표시 될까? $q$

automata-theory ho.history-overview

— 체육관
소스

1

추측해야한다면,

는 "configuration"의 줄임말입니다 (

와

는 이미 "constant"에 묶여 있기 때문에 ). 그러나 그것은 단지 추측 일뿐입니다.

q

$q$

c

$c$

k

$k$

— Jeffε

1

튜링 기계와 오토마타 의 최고 투표 답변 사이 의 역사적 연관성 에 대한이 흥미로운 질문 은 많은 오토마타 이론과 Turings 1936 논문 사이에 직접적인 역사적 연관성이 있다는 것을 부인합니다. 하단 투표 답변은 상태 테이블 개념과 거의 동일한 유사성을 나타냅니다.

— vzn

1

MathOverflow에 게시하면 더 나은 답변을 얻을 수 있다고 생각합니다. 그들은 더 많은 계산 성 이론 전문가를 보유하고 있습니다. 이 질문을 할 수있는 또 다른 좋은 곳은 계산력에 관한 많은 전문가들이있는 FOM 메일 링리스트입니다.

— Kaveh December

6

에서 "응용 프로그램에 ENTSCHEIDUNGSPROBLEM 함께 계산 가능한 수, ON"그의 1936 종이 , 앨런 튜링 (Alan Turing)이 쓴 :

"실수를 계산하는 과정에서 사람과 기계의 수를 비교할 수있다. 한정된 수의 조건 q1, q2, .... qR 만"m 구성 "이라고한다

따라서 그는 기계가 유한하고 불연속적인 (연속적이지 않은) 상태 또는 수량을 가지고 있다는 사실을 강조했습니다. 나를 위해, 그것은 물리학에서 연속적으로가 아니라 "도약"또는 "quanta"에 의해 변하는 현상을 나타내는 Quanta라는 용어에 대한 언급이다. 그의에서 1950 기사 "컴퓨팅 기계 및 지능" 앨런 튜링은 "갑작스러운 점프"말하고 "도약"에 대한 자세한 명시 적입니다 :

"마지막 섹션에서 고려한 디지털 컴퓨터는"이산 상태 머신 "으로 분류 될 수 있습니다. 이들은 갑자기 명확한 상태에서 다른 상태로 갑자기 점프하거나 클릭하여 움직이는 머신입니다."

따라서 Alan Turing은 s 대신 q를 사용하여 상태 머신이 물리학의 퀀타와 같이 이산적이고 유한 한 값의 세트에만있을 수 있다는 사실을 강조하기 위해 머신 상태를 나타냅니다. 그 이후로 동일한 표기법이 일반적으로 사용됩니다.

— 타릭 FDIL
소스

2

확실하지 않지만 Q가 Quantum을 의미하는 곳을 읽습니다 . 우리는 automata가 불연속 시간 프레임에서 작동한다는 것을 알고 있기 때문입니다. 오토 마톤은 항상 유한 상태 세트의 일부 상태를 유지하며 초기 상태 q _0으로 시작합니다 . 또한 오토 마톤은 한 번에 하나 이상의 상태에있을 수 없습니다. 양자라는 단어는 수량, 양 또는 숫자를 의미하는 물리학에서 나옵니다.

— 그리 예쉬 쇼한
소스