Blog

Máy tính thật sự giải được gì, và làm sao mình biết?

Giới thiệu lý thuyết tính toán — bài toán quyết định, ngôn ngữ hình thức, và biểu thức chính quy qua góc nhìn về giới hạn của máy tính