Un esempio di problema decisionale è il seguente. L' ingresso è un grafico arbitrario. Il problema consiste nel decidere se il grafico dato è collegato o meno. Il linguaggio formale associato a questo problema di decisione è quindi l' insieme di tutti i grafici connessi - naturalmente, per ottenere una definizione precisa di questo linguaggio, si deve decidere come i grafici sono codificati come stringhe binarie.
Quale decisione di codifica deve essere presa per determinare una definizione esatta del linguaggio formale?
come i grafici sono codificati come stringhe binarie come i grafici sono codificati come stringhe binarie come i grafici sono codificati come stringhe binarie