Объясните фундаментальные концепции теории вычислений, включая автоматов, машины Тьюринга, формальные грамматики и теории сложности. Проанализируйте границы вычислимости, P-NP проблему и их значение для теоретической информатики.