Informatica teorica decidability

15

Un semplice problema di cui non si conosce la decidibilità

Mi sto preparando per un discorso rivolto ai laureandi in matematica, e come parte di esso, sto prendendo in considerazione la discussione del concetto di decidibilità. Voglio fare un esempio di un problema che attualmente non sappiamo essere decidibile o indecidibile. Ci sono molti di questi problemi, ma nessuno sembra …

92 computability decidability

3

Restrizioni di Turing Machine che rendono decidibile l'arresto

Se uno limita Turing Machines a un nastro finito (cioè, per usare lo spazio limitato SSS ), allora il problema di arresto è decidibile, essenzialmente perché dopo una serie di passaggi (che possono essere calcolati dal numero di stati e , e il dimensione dell'alfabeto), è necessario ripetere una configurazione.QQQSSS …

33 turing-machines decidability

2

È determinabile determinare se una data forma può affiancare il piano?

So che è impossibile stabilire se una serie di tessere può piastrellare l'aereo, a seguito di Berger che utilizza le tessere Wang . La mia domanda è se è anche noto che è indecidibile determinare se una singola piastrella può piastrellare il piano, una piastrellatura monoedrica . Se questo rimane …

24 reference-request co.combinatorics decidability undecidability

1

È determinabile l'equivalenza di lingue univoche senza contesto?

È noto che il problema dell'equivalenza è indecidibile per le lingue generali senza contesto. Tuttavia, tutte le prove di questo fatto di cui sono a conoscenza sembrano implicare alcune ambigue grammatiche libere dal contesto. Per questo motivo, vorrei chiedere se è noto se il problema rimane indecidibile, limitandosi a linguaggi …

19 fl.formal-languages grammars context-free decidability undecidability

4

Verifica se tutti i prodotti di un set di matrici alla fine equivalgono a zero

Sono interessato al seguente problema: date le matrici intere A1,A2,…,AkA1,A2,…,AkA_1,A_2, \ldots, A_k decidono se ogni prodotto infinito di queste matrici alla fine sia uguale alla matrice zero. Questo significa esattamente quello che pensi che faccia: diremo che l'insieme di matrici {A1,…,Ak}{A1,…,Ak}\{A_1, \ldots, A_k\} ha la proprietà che tutti i suoi …

19 linear-algebra decidability

2

Decidere se un linguaggio unario sensibile al contesto è regolare

È un risultato ben noto che la domanda Una grammatica senza contesto genera una lingua normale? è indecidibile. Tuttavia, diventa decidibile su un alfabeto unario, semplicemente perché in questo caso, le classi di linguaggi regolari e senza contesto coincidono. La mia domanda è sapere cosa succede per le lingue unarie …

18 fl.formal-languages decidability

5

Quali notevoli modelli di automi hanno un contenimento polinomiale decidibile?

Sto cercando di risolvere un problema particolare e ho pensato di poterlo risolvere usando la teoria degli automi. Mi chiedo, quali modelli di automi hanno contenimento decidibile in tempo polinomiale? cioè se hai macchine puoi verificare se efficiente.M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) Gli ovvi che vengono in mente sono i DFA …

18 fl.formal-languages automata-theory time-complexity polynomial-time decidability

2

È possibile decidere l' equivalenza

So che è impossibile decidere l' equivalenza per il calcolo lambda non tipizzato. Citando Barendregt, HP The Lambda Calculus: la sua sintassi e semantica. Olanda settentrionale, Amsterdam (1984). :ββ\beta Se A e B sono insiemi disgiunti e non vuoti di termini lambda che sono chiusi sotto l'uguaglianza, allora A e …

18 lo.logic computability lambda-calculus normalization decidability

1

Qual è il modello computazionale più semplice per il quale il problema del vuoto è indecidibile?

Qual è il modello computazionale più semplice per il quale il problema del vuoto è indecidibile? Il problema di vuoto per un modello computazionale (ad es. Automa a stati finiti, automa a pushdown alternato, automa quantistico ad errore limitato con un contatore, LBA deterministico, ecc.) È determinare se, per una …

12 computability decidability undecidability unary-languages

1

Teoria decisa della crescita asintotica

Quali sono i limiti noti della decidibilità del confronto del tasso di crescita delle funzioni da ? Sto pensando alla decidibilità di domande come "Is x x ∼ 2 ⌊ x lg ( x + 2 ) ⌋ ?" o "È 2 lg ∗ x ∈ O ( lg lg …

12 decidability asymptotics

2

Sistemi di addizione vettoriale con "ostacoli" finiti

Un sistema di addizione vettoriale (VAS) è un insieme finito di azioni . è l'insieme dei segni . Una corsa è una parola non vuoto di marcature st . Se esiste una parola del genere, diciamo che è raggiungibile da .N d m 0 m 1 … m n ∀ …

11 fl.formal-languages decidability

3

P contiene lingue incomprensibili? (Wiki della community TCS)

Risposta: non nota Mille grazie a tutti coloro che hanno contribuito a perfezionare questa domanda e le definizioni ad essa associate. Le definizioni di questo wiki hanno fornito il punto di partenza per il più recente wiki di TCS " P contiene linguaggi la cui esistenza è indipendente da PA …

11 cc.complexity-theory complexity-classes turing-machines decidability

1

Esiste un algoritmo che trova i minorenni proibiti?

Il teorema di Robertson-Seymour afferma che qualsiasi famiglia GG\mathcal G di grafici chiusa minore può essere caratterizzata da molti minori proibiti. Esiste un algoritmo che per un input GG\mathcal G genera i minori proibiti o è indecidibile? Ovviamente, la risposta potrebbe dipendere da come GG\mathcal G è descritto nell'input. Ad …

9 graph-theory decidability graph-minor

1

Problema di appartenenza a determinate classi di grammatiche senza restrizioni

Considera una grammatica arbitraria senza contesto sopra l'alfabeto { 0 , 1 , ¯ 0 , ¯ 1 } . Alle produzioni di questa grammatica, aggiungi due produzioni fisse senza contesto : P : ¯ 0 0 → ϵ e ¯ 1 1 → ϵ . Chiama la grammatica risultante …

9 context-free decidability

2

La meta-indecidibilità è possibile?

Ci sono problemi che sono decidibili, alcuni sono indecidibili, c'è semidecidibilità, ecc. In questo caso mi chiedo se un problema possa essere meta-indecidibile. Questo significa (almeno nella mia testa) che non possiamo dire se è decidibile o no. Forse è noto che la decidibilità è indecidibile (tutto è meta-indecidibile) e …

9 computability decidability undecidability

Domande taggate «decidability»