#noindex
대체적으로 내 관심분야에선 항상 추상적 [[컴퓨터,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/

Sub:
[[기계학습,machine_learning]]
[[기계어,machine_language]]

[[register_machine]] =,register_machine . register_machine
 {
 '''register machine'''
 WtEn:register_machine ?
 WpEn:Register_machine https://en.wikipedia.org/wiki/Register_machine [[레지스터,register]] [[기계,machine]]
 [[counter_machine]]
 } // register machine .... NN:"register machine" (x 2024-04) Bing:"register machine" Naver:"register machine" Ggl:"register machine"

[[counter_machine]] =,counter_machine . counter_machine - writing
{
'''counter machine'''

[[카운팅,counting]]
[[카운터,counter]]
[[기계,machine]]

WtEn:counter_machine ? x 2024-04

[[WpEn:Counter_machine]]
= https://en.wikipedia.org/wiki/Counter_machine

Up: [[register_machine]] ?

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

[[pointer_machine]] - writing
[[포인터기계,pointer_machine]] WtEn:pointer_machine

[[오토마톤,automaton]] = [[자동기계,automaton]]

[[상태기계,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 [[상태,state]]s들 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 : 하나 이상의 유한한 [[입력,input]]s들의 집합
// O : 하나 이상의 유한한 [[출력,output]]s들의 집합
// S : 하나 이상의 유한한 [[상태,state]]s들의 집합
δ: Ι × 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"
}

[[가상기계,virtual_machine]] (VM) =,virtual_machine =,vm .
{
가상머신

여기서 말하는 [[기계,machine]]는 물론 [[컴퓨터,computer]]를 뜻함. 그치만 보통 가상컴퓨터라는 표현보다 가상머신이라는 표현이 많이 쓰임.

Cmp: [[추상기계,abstract_machine]] (= abstract computer)


tmp ex. Azure vm 만들어 ARM assembly 연습하기
{
ARM Assembly: Lesson 1 (MOV, Exit Syscall) - YouTube
https://www.youtube.com/watch?v=kKtWsuuJEDs
}

tmp bmk ko
가상 머신(버추얼 머신), 가상 서버, 가상 OS 개념 및 작동 방식
https://www.redhat.com/ko/topics/virtualization/what-is-a-virtual-machine

MKL
[[가상화,virtualization]]
[[기계,machine]] i.e. [[컴퓨터,computer]]

Sub:
HHVM =,hhvm .
{
HipHop Virtual Machine (HHVM)

MKLINK
Hack (PL) { [[WpKo:핵_(프로그래밍_언어)]] = https://ko.wikipedia.org/wiki/핵_%28프로그래밍_언어%29 [[WpEn:Hack_(programming_language)]] = https://en.wikipedia.org/wiki/Hack_%28programming_language%29 }
HipHop bytecode (HHBC) =,hhbc . is a [[바이트코드,bytecode]]

https://simple.wikipedia.org/wiki/HHVM
https://ko.wikipedia.org/wiki/HHVM
https://en.wikipedia.org/wiki/HHVM
}
Parrot_VM =,Parrot_VM .
Parrot_virtual_machine =,Parrot_virtual_machine .
패럿_가상기계
[[패럿_가상기계,Parrot_virtual_machine]] ?
or simply [[패럿,Parrot]]?
{
'''Parrot virtual machine'''

There are three forms of program code for Parrot:
 * Bytecode is binary and is natively interpreted by Parrot. Bytecode is usually stored in files with the filename extension ".pbc". // [[바이트코드,bytecode]]
 * Parrot_assembly_language (PASM) is the low level language that compiles down to bytecode. PASM code is usually stored in files with the filename extension ".pasm".
 * Parrot_intermediate_representation (PIR) ... extension ".pir". // [[intermediate_representation]]

https://ko.wikipedia.org/wiki/패럿_가상_머신
https://ko.wikipedia.org/wiki/패럿_가상_머신

"Parrot virtual machine"
Ndict:"Parrot virtual machine"
Ggl:"Parrot virtual machine"
}

rel.
[[가상화,virtualization]]
[[emulator]] - does [[emulation]]
[[simulator]] - does [[simulation]]
[[hypervisor]] = VMM
=,hypervisor =,vmm .
{
type 1: native 또는 bare-metal
type 2: hosted

WpKo:하이퍼바이저
 = https://ko.wikipedia.org/wiki/하이퍼바이저
 "는 호스트 컴퓨터에서 다수의 OS를 동시에 실행하기 위한 논리적 플랫폼을 말한다. 가상머신모니터 또는 가상머신매니저(영어: virtual machine monitor 또는 virtual machine manager, 줄여서 VMM)라고도 부른다."
}

[[reduction_machine]] ?
=,reduction_machine =,reduction_machine . reduction_machine
{
reduction machine
WtEn:reduction_machine
WpEn:reduction_machine
[[graph_reduction_machine]] - curr at [[리덕션,reduction?action=highlight&value=graph_reduction_machine]]
Ggl:"reduction machine"
Bing:"reduction machine"
"reduction machine"
}

[[SECD_machine]] =,SECD_machine =,SECD_machine . SECD_machine
{
SECD machine

"SECD machine"
Ggl:"SECD machine"
Bing:"SECD machine"
}

----
자바가상기계
자바_가상기계 중에?
그리고
Java_virtual_machine 과
Java_Virtual_Machine 중에? - wpen은 전자임.
암튼 [[JVM]] =,JVM . |=,JVM JVM
{

bmks ko
JVM Internal
https://d2.naver.com/helloworld/1230



Twin

[[WpKo:자바_가상_머신]]
= https://ko.wikipedia.org/wiki/자바_가상_머신

[[WpSp:Java_virtual_machine]]
https://simple.wikipedia.org/wiki/Java_virtual_machine

[[WpEn:Java_virtual_machine]]
= https://en.wikipedia.org/wiki/Java_virtual_machine

[[WpJa:Java仮想マシン]]
= https://ja.wikipedia.org/wiki/Java仮想マシン
 Java 가상 머신

"java virtual machine"
Ndict:"java virtual machine"
Ggl:"java virtual machine"

Up:
[[자바,Java]]
[[Java_platform]]? Java페이지는 언어로 할까? 아님 Java_language / Java_programming_language 페이지를 따로 만들까? .... 뭐가 최선이지? [[Date(2023-11-09T09:00:46)]]
[[가상기계,virtual_machine]]

}
----
Sub:
[[virtual_machine_interpreter]] =,virtual_machine_interpreter | =,VM_interpreter . virtual_machine_interpreter
{
'''virtual machine interpreter'''

[[가상기계,virtual_machine]] [[인터프리터,interpreter]]=[[해석기,interpreter]]

https://rosettacode.org/wiki/Compiler/virtual_machine_interpreter
}

tmp bmks
https://rosettacode.org/wiki/Compiler/virtual_machine_interpreter


Inter:

[[WpKo:가상_머신]]
= https://ko.wikipedia.org/wiki/가상_머신


} // virtual machine ..... NN::"virtual machine" Ggl:"virtual machine"

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

[[엡실론,epsilon]]

Cmp: [[machine_epsilon]] (curr at [[엡실론,epsilon]])

} // epsilon-machine ... Ndict:epsilon-machine Naver:epsilon-machine Ggl:epsilon-machine Bing:epsilon-machine