BETA
All Problems of Theory of computation