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

CS에선 computer를 뜻함.

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

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

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

counter_machine ?

Counter_machine
= https://en.wikipedia.org/wiki/Counter_machine

Up: register_machine ?

"counter machine"
counter machine
counter machine
}

pointer_machine - writing
오토마톤,automaton = 자동기계,automaton

상태기계,state_machine
유한상태기계,finite-state_machine (FSM) -- 이건 pagename에 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
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
// δ : 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

발음?
Mealy_machine ? kkkkkkkkkk
Mealy_machine ?
Mealy_machine ?
"Mealy machine"
Mealy machine
Mealy machine
}

Moore_machine =,Moore_machine =,Moore_machine . Moore_machine
{
Moore machine
Moore_machine ? mmmmmmmmmm
Moore_machine ?
Moore_machine ?
"Moore machine"
Moore machine
Moore machine
}

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

여기서 말하는 기계,machine는 물론 컴퓨터,computer를 뜻함.

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

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

MKLINK
Hack (PL) { 핵_(프로그래밍_언어) = https://ko.wikipedia.org/wiki/핵_(프로그래밍_언어) Hack_(programming_language) = https://en.wikipedia.org/wiki/Hack_(programming_language) }
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"
Parrot virtual machine
Parrot virtual machine
}

rel.
가상화,virtualization =가상화,virtualization =,virtualization . virtualization
{

Sub:
storage_virtualization
Rel
가상기계,virtual_machine
hypervisor - 하이퍼바이저,hypervisor maybe

rel?
추상화,abstraction

https://ko.wikipedia.org/wiki/가상화
Up: virtual
}
emulator - does emulation
simulator - does simulation
hypervisor = VMM
=,hypervisor =,vmm .
{
type 1: native 또는 bare-metal
type 2: hosted

하이퍼바이저
}

reduction_machine ?
=,reduction_machine =,reduction_machine . reduction_machine
{
reduction machine
reduction_machine
reduction_machine
graph_reduction_machine - curr at 리덕션,reduction?action=highlight&value=graph_reduction_machine
reduction machine
reduction machine
"reduction machine"
}

SECD_machine =,SECD_machine =,SECD_machine . SECD_machine
{
SECD machine

"SECD machine"
SECD machine
SECD machine
}

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

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

Twin

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

Java_virtual_machine
https://simple.wikipedia.org/wiki/Java_virtual_machine

Java_virtual_machine
= https://en.wikipedia.org/wiki/Java_virtual_machine

Java仮想マシン
= https://ja.wikipedia.org/wiki/Java仮想マシン
"java virtual machine"
java virtual machine
java virtual machine

Up:
자바,Java
Java_platform? Java페이지는 언어로 할까? 아님 Java_language / Java_programming_language 페이지를 따로 만들까? .... 뭐가 최선이지? 2023-11-09
가상기계,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:

가상_머신
}

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

엡실론,epsilon

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

...
epsilon-machine
epsilon-machine epsilon-machine epsilon-machine epsilon-machine
}