기계,machine

대체적으로 내 관심분야에선 항상 추상적 컴퓨터,computer추상기계,abstract_machine(curr at computer)를 가리키는 경우가 많지만, (그래서 저기 적으면 되지만) 편의를 위해 임시로 만듦
기계공학,mechanical_engineering의 그 기계(mechanical_machine ?)에 대해선 local txt에.

CS에선 computer를 뜻함.

기계는 machine 뿐 아니라 machinery WtEn:machinery의 번역어임. ACM은 Association for Computing Machinery .... https://www.acm.org/


register_machine =,register_machine . register_machine
counter_machine =,counter_machine . counter_machine - writing
{
counter machine


WtEn:counter_machine ? x 2024-04



} // counter machine .... Bing:counter machine Ggl:counter machine Naver:counter machine(x 2024-04)



상태기계,state_machine
유한상태기계,finite-state_machine (FSM) -- 이건 pagename에 FSM 명시하는 게 나을 듯? =,fsm
{
유한상태기계, finite-state machine, FSM

from we ---------------
"A finite-state machine (FSM) or // finite-state_machine
finite-state automaton (FSA, plural: automata), // finite-state_automaton -- 이건 pagename에 FSA 명시하는 게 편리할 듯?
finite automaton , or simply a // finite_automaton ... 여기까지는 모두 syn.?
state machine" // state_machine -> 상태기계,state_machine ... equiv or 줄여부르는것? QQQ

이것들은 mathematical model of computation(computation_model).
"It is an 추상기계,abstract_machine that can be in exactly one of a finite number of 상태,states들 at any given time." - 즉 가능한 상태의 수는 유한하며 특정 시각에는 그 중 (오로지) 한 상태.


// from https://ocw.snu.ac.kr/sites/default/files/NOTE/5538.pdf page 11-3
A finite-state machine (FSM) M is a quintuple
M = (I, O, S, δ, λ)
where I, O, and S are finite, nonempty sets of inputs, outputs, and states, respectively.
// I : 하나 이상의 유한한 입력,inputs들의 집합
// O : 하나 이상의 유한한 출력,outputs들의 집합
// S : 하나 이상의 유한한 상태,states들의 집합
δ: Ι × S → S is the state transition function;
λ is the output function such that
λ : I × S → O for Mealy machine;
λ : S → O for Moore machine.
// δ : state_transition_function
// λ : 출력함수,output_function for Mealy_machine or Moore_machine
}
aka 유한상태자동기계,finite-state_automaton (FSA)

deterministic_finite_automaton (DFA)
deterministic_finite-state_automaton 를 줄인? chk
{
결정적 유한상태 자동기계 ?
}

non-deterministic_finite_automaton (NDFA)
non-deterministic_finite-state_automaton 의 줄임말 ? chk
{
비결정적 유한상태 자동기계 ?

}

Mealy_machine =,Mealy_machine =,Mealy_machine . Mealy_machine
{
Mealy machine

발음?
- 국적?

WtEn:Mealy_machine ? kkkkkkkkkk
WpSp:Mealy_machine ?
WpEn:Mealy_machine ?
"Mealy machine"
Ndict:Mealy machine
Ggl:Mealy machine
}

Moore_machine =,Moore_machine =,Moore_machine . Moore_machine
{
Moore machine
WtEn:Moore_machine ? mmmmmmmmmm
WpSp:Moore_machine ?
WpEn:Moore_machine ?
"Moore machine"
Ndict:Moore machine
Ggl:Moore machine
}


epsilon-machine =,epsilon-machine =,epsilon-machine . epsilon-machine / =,epsilon_machine ?
{
epsilon-machine
https://en.wiktionary.org/wiki/epsilon-machine




CS밖에서의 machines