computation_model

계산이 무엇인지를 형식적으로 정의하는 모델을 다루는 영역이다. Turing machine처럼 상태와 전이만으로 계산을 표현하는 방식을 포함한다.

• 

  created by paul

• 

  1 members

• join