Quyết định mã hoá nào cần được thực hiện để xác định định nghĩa không chính xác của ngôn ngữ chính thức? 
Một ví dụ về bài toán quyết định là như sau. Đầu vào là một đồ thị tuỳ ý. Bài toán bao gồm việc quyết định liệu đồ thị đã cho có được kết nối hay không. Ngôn ngữ chính thức liên quan đến bài toán quyết định này là tập hợp tất cả các đồ thị được kết nối - tất nhiên, để có được một định nghĩa chính xác về ngôn ngữ này, người ta phải quyết định cách các đồ thị được mã hoá dưới dạng chuỗi nhị phân.