{2023-11-07 TOC전까지:
"In CS, an abstract machine is a theoretical_model // 모델,model 모형,model
CS에서 추상기계란, 이론적 모형이다
that allows for a detailed and precise analysis of how a computer system functions. // computer_system computer_system ... 컴퓨터,computer 와 별도 페이지 필요할지? or 필요없을지?
컴퓨터 시스템이 어떻게 기능하는지에 대한 자세하고 정확한 분석,analysis을 가능케 하는.
It is similar to a mathematical function^{(함수,function)} in that it
수학의 함수와 이런 점들이 비슷하다.
Abstract machines vary from literal machines in that they are expected to perform correctly and independently of 하드웨어,hardware.
실제 기계와는 다른 점: 완벽히 정확하게,,(correctly, 정확성,correctness.. curr at 올바름,correctness),, 돌아가며/수행하며(perform), 하드웨어에 독립적.

// 이름이 이런 이유:
Abstract machines are "machines" because they allow step-by-step 실행,execution of programmes;
프로그램 실행을 한 단계,step씩(step-by-step) 할 수 있게 하므로 '기계'이다.
they are "abstract" // linked to : https://en.wikipedia.org/wiki/Abstraction_(computer_science)
because they ignore many aspects of actual (hardware) machines.
실제 HW의 많은 관점을 무시하기 때문에 '추상'이다.

A typical abstract machine consists of a definition in terms of
used to turn the former into the latter.

They can be used for purely theoretical reasons as well as models for real-world computer systems.
In the theory of computation, // Theory_of_computation = https://en.wikipedia.org/wiki/Theory_of_computation // computation_theory ... 계산이론,computation_theory? 계산론? 계산이론 계산론 계산이론 계산론 Up: 이론,theory
abstract machines are often used in thought experiments // 사고실험,thought_experiment =,thought_experiment . thought_experiment { thought experiment = thought_experiment사고실험 사고실험 }
regarding computability // 계산가능성,computability이었던가 https://en.wikipedia.org/wiki/Computability .... curr at 계산,computation
or to analyse the complexity of algorithms. // 알고리듬,algorithm 복잡도,complexity ...( complexity_analysis 복잡도분석,complexity_analysis? )

This use of abstract machines is fundamental to the field of
computational complexity theory, // computational complexity theory = computational_complexity_theory / Computational_complexity_theory = https://en.wikipedia.org/wiki/Computational_complexity_theory
such as

abstraction abstractness abstraction abstractness
) ... abstractness)