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.
Qual è il termine per l' insieme di tutti i grafici collegati relativi a questo problema di decisione?
linguaggio formale Il linguaggio formale