<s>[INST]Resmi dilin tam bir tanımını belirlemek için hangi kodlama kararının verilmesi gerekiyor?[/INST]Bir karar sorununa bir örnek aşağıdadır. Giriş isteğe bağlı bir grafiktir. Sorun, verilen grafiğin bağlı olup olmadığına karar vermekten ibarettir. Bu karar sorunuyla ilişkilendirilen biçimsel dil o zaman tüm bağlı grafiklerin setidir - elbette, bu dilin kesin bir tanımını elde etmek için, birinin grafiklerin ikili dizeler olarak nasıl kodlandığına karar vermesi gerekir.</s>