Difference between r1.15 and the current
@@ -1,5 +1,8 @@
#noindex
##=====추상기계,abstract_machine =,abstract_machine 추상기계 abstract_machine
'''abstract machine'''[[컴퓨터,computer]] - curr at there
@@ -54,8 +57,16 @@
Cmp: [[가상기계,virtual_machine]]
----
https://ko.wikipedia.org/wiki/추상_기계
...
Ggl:"abstract machine"
Ndict:"abstract machine"
----
Twin
Twin:
WtEn:abstract_machine ??
https://www.pls-lab.org/en/Abstract_machine
http://tunes.org/wiki/abstract_20vm.html
Ggl:"abstract machine"
Ndict:"abstract machine"
abstract machine
Abstract_machine = https://en.wikipedia.org/wiki/Abstract_machine
{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
수학의 함수와 이런 점들이 비슷하다.
실제 기계와는 다른 점: 완벽히 정확하게,,(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
"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
수학의 함수와 이런 점들이 비슷하다.
receives inputs and
입력을 받고
produces outputs
출력을 만들고(생산한다)
based on predefined rules. // predefined_rule - is_a 규칙,rule
미리 정해진 규칙에 따라.
Abstract machines vary from literal machines in that they are expected to perform correctly and independently of 하드웨어,hardware.입력을 받고
produces outputs
출력을 만들고(생산한다)
based on predefined rules. // predefined_rule - is_a 규칙,rule
미리 정해진 규칙에 따라.
실제 기계와는 다른 점: 완벽히 정확하게,,(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
finite state machines, // https://en.wikipedia.org/wiki/Finite-state_machine
Mealy machines, // https://en.wikipedia.org/wiki/Mealy_machine
push-down automata, and // https://en.wikipedia.org/wiki/Pushdown_automaton
Turing machines."} // 튜링_기계,Turing_machine
Mealy machines, // https://en.wikipedia.org/wiki/Mealy_machine
push-down automata, and // https://en.wikipedia.org/wiki/Pushdown_automaton
Turing machines."} // 튜링_기계,Turing_machine
Cmp: 가상기계,virtual_machine
Twin:
Up:
추상,abstract abstraction abstractness
/* =,abstract =,abstraction =,abstractness */ (or abstraction abstractness ...? 전자는 혹시 추상화,abstraction 에 더 가까운거고 후자는 추상성?? 그래서 후자가 옳은건가? chkout 단어의미차이.(
추상화,abstraction
기계,machine
추상,abstract abstraction abstractness
/* =,abstract =,abstraction =,abstractness */ (or abstraction abstractness ...? 전자는 혹시 추상화,abstraction 에 더 가까운거고 후자는 추상성?? 그래서 후자가 옳은건가? chkout 단어의미차이.(
추상화,abstraction
기계,machine