Seonglae ChoHalting Problem 과 밀접한 관련
헝가리의 수학자 Radó Tibor(1895~1965)가 도입했다. 동물 Beaver가 일하는 모습과 튜링머신이 일하는 모습이 비슷해서 이름 붙임
바쁜 비버 게임은 무한히 긴 테이프에 0이 빼곡히 씌어 있을 때, n개의 state를 가질 수 있는 정지하는 Turing machine을 가지고 테이프에 최대한 많은 수의 1을 쓰는 게임이다. n비트 길이의 프로그램 중 가장 효율적인 프로그램을 찾는 게임
- Collatz conjecture 때문에 에 대해 비관적이다