Câu hỏi được gắn thẻ «termination»

Tôi đã viết mã Python này và tự hỏi liệu đôi khi nó chỉ đơn giản là không chấm dứt (giả sử chúng ta có bộ nhớ / thời gian vô hạn và không có giới hạn độ sâu đệ quy). Theo trực giác, bạn nghĩ rằng nó chấm dứt, …

10 trees  probability-theory  termination 

Tôi ít quan tâm đến các ngôn ngữ nơi bạn có thể viết hầu hết mọi thứ, nhưng sau đó được yêu cầu viết một bằng chứng kèm theo rằng những gì bạn viết đã chấm dứt. Tôi quan tâm nhiều hơn đến không gian thiết kế của các ngôn …

7 programming-languages  termination