계산가능성

This page was last edited on 31 July 2017, at 17:24.

계산가능성(computability)은 전산학의 주요 주제 중 하나이다. 어떠한 종류의 계산 모델(튜링 머신, 람다 캘큘러스, 푸시다운 오토마타 등)로 어떠한 종류의 계산을 수행할 수 있는지 또는 없는지 연구한다.

Retrieved from "https://femiwiki.com/index.php?title=계산가능성&oldid=60029"