#noindex
Sub:
[[상태기계,state_machine]] - [[기계,machine]]
 [[유한상태기계,finite_state_machine]] or [[finite-state_machine]] - WtEn:finite-state_machine { syn. [[finite-state_automaton]] } (FSM)
  ... Ggl:"finite-state machine" Bing:"finite-state machine"
 infinite-state machine
  ... Ggl:"infinite-state machine" Bing:"infinite-state machine"
  (이건 거의 다뤄지지 않음, 사실상 state machine = finite state machine 둘은 거의 동의어)
  (FSM과 구분하여 다룰 의미가 있을지? '무한개의 상태'는 물리적 한계 때문에 현실에 구현이 불가능하지 않으려나? 그럼 순수 이론적으로는 어떤 가치가 있을지?)
  ([[Date(2024-04-29T17:55:43)]] 무한상태도 가산과 비가산으로 나뉘어짐.)
[[상태공간,state_space]]
[[초기상태,initial_state]]
[[final_state]]
[[상태전이,state_transition]]
[[state_diagram]] w
{
'''state diagram'''
상태 그림|도|도표|다이어그램

[[그래프,graph]] esp [[directed_graph]]로 나타남.
 graph의 vertex는 원형으로 그리며 state를 나타내고
 graph의 directed edge(arc)는 화살표로 그리며 transition을 나타냄.

Topics
state [[상태,state]]
 current state / = present state ?
transition [[전이,transition]] 추이 etc
 (i.e. state_transition)
transition condition - 전이|추이|... [[조건,condition]]
transition function - [[함수,function]] 
 NN:"transition function"
state_transition_table - [[표,table]]
[[상태표,state_table]] - w rr
[[상태방정식,state_equation]]
 '''state equation'''
 wt x 2024-04
 MKL [[상태표,state_table]] [[불_식,Boolean_expression]]
 // state equation ... Ggl:"state equation" NN:"state equation"
[[상태축소,state_reduction]] - w rr


기타 내생각에 관련
transition matrix ... [[추이행렬,transition_matrix]] or [[전이행렬,transition_matrix]]
action [[액션,action]]?
event [[사건,event]]? [[이벤트,event]]
trigger [[트리거,trigger]] ? 
[[상태기계,state_machine]]
 [[유한상태기계,finite-state_machine,FSM]] WpKo:유한_상태_기계
[[자동기계,automaton]]
 [[유한자동기계,finite_automaton]] (FA)
 [[유한상태자동기계,finite-state_automaton,FSA]] ... ''(fsm fa fsa 이것들은 사실상 구분할 필요가 없는데 page?)''
 DFA
 NFA
[[무어_기계,Moore_machine]] [[무어_모형,Moore_model]]
 WpEn:Moore_machine
[[밀리_기계,Mealy_machine]] [[밀리_모형,Mealy_model]]

WtEn:state_diagram
[[WpKo:상태도_(오토마타_이론)]]
WpEn:State_diagram
 요건: 시스템이 유한 개의 [[상태,state]]로 나타나야 한다.
 [[시스템,system]]의 [[행동,behavior]]에 대한 추상적 description(기술/서술)에 쓰인다. rel [[추상화,abstraction]] .... ''(이런건 너무 뻔함)''
}

----
<<tableofcontents>>
= of computer =
// from we state(cs):
{
[[상태공간,state_space]]의 한 [[점,point]]?
상태공간([[집합,set]])의 한 [[원소,element]]?

[[이산시스템,discrete_system]] { [[WpEn:Discrete_system]] = https://en.wikipedia.org/wiki/Discrete_system }에선 상태공간은 대개 [[countable]]하며([[countable_set]]. WpEn:Countable_set Up: [[countability]] [[집합,set]] ) 대개 [[finite]] ([[유한집합,finite_set]]. WpEn:Finite_set Up: [[finiteness]] [[집합,set]] )

[[프로토콜,protocol]]에도 [[stateful_protocol]]{ Ggl:"stateful protocol" Bing:"stateful protocol" Up: [[statefulness]] [[프로토콜,protocol]] }등 언급되고 ... 나중에 TODO

}

= in compsci and/or compeng(computer engineering) =
== statefulness vs statelessness ==
statefulness vs statelessness - curr [[연결,connection?action=highlight&value=state]] 아래쯤 table. 저기 connection의 있음/없음과 state의 있음/없음을 비교할지 말지 생각중
Naver:"statefulness statelessness"

= in compsci =
CS에서
[[WpEn:State_(computer_science)]]

Rel
[[상태기계,state_machine]] - [[기계,machine]]

= in chemistry =
[[화학,chemistry]]에서
[[전이상태,transition_state]] ... 이건 임시 상태 of [[화학반응,chemical_reaction]]

[[상태방정식,state_equation]](curr [[방정식,equation#s-18]])

QQQ [[물질상,phase]]도 [[물질,substance,matter]]의 '''상태,state'''? Ggl:"states of matter"

= in physics+chemistry =
아래 둘 complement? chk

비교: Ggl:"ground state vs excited state"
대충 그 [[에너지,energy]]에 따름, lowest energy vs higher energy.
대상은 [[원자,atom]], ... and?

== 바닥 상태 ground state ==
[[바닥상태,ground_state]]
ground state
https://en.wikipedia.org/wiki/Ground_state
'''바닥 상태, 기저 상태'''
KpsE:ground : "ground state	바닥 상태, 기저 상태" ([[Date(2024-01-17T01:53:30)]])

== 들뜬 상태 excited state ==
excited_state
[[들뜬상태,excited_state]] via KpsE:excited