Scienza del computer

1

Esempio di una proposizione falsa quando si assume Tipo: Tipo

Nella Teoria dei tipi se si consente a Tipo di essere un membro di se stesso, si rende la teoria incoerente. Lo capisco per analogia al paradosso di Russel in Set Theory, ma preferirei vederlo fatto in Type Theory. C'è un breve esempio dell'equivalente in Teoria dei tipi?

9 type-theory

3

Grammatica sensibile al contesto per il linguaggio delle parole concatenate con se stesse

Sto cercando una grammatica sensibile al contesto che descriva la seguente lingua: .L = { w w ∣ w ∈ { a , b }*, | w | ≥ 1 }L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Ho dei problemi con il fatto che non sono …

9 formal-languages formal-grammars context-sensitive

3

Scopri chi è il turno di acquistare i cornetti

Una squadra ha deciso che ogni mattina qualcuno dovrebbe portare cornetti per tutti. Non dovrebbe essere sempre la stessa persona, quindi dovrebbe esserci un sistema per determinare di chi è il turno successivo. Lo scopo di questa domanda è determinare un algoritmo per decidere chi sarà il turno di portare …

9 algorithms scheduling

4

Qual è un buon algoritmo per generare DFA casuali?

Sto generando DFA casuali per testare un algoritmo di riduzione DFA su di essi. L'algoritmo che sto usando in questo momento è il seguente: per ogni stato , per ogni simbolo dell'alfabeto , aggiungi a uno stato casuale. Ogni stato ha la stessa probabilità di diventare uno stato finale.qqqcccδ(q,c)δ(q,c)\delta (q, …

9 algorithms finite-automata randomness pseudo-random-generators random-graphs

2

Prove interattive per coNP

Sto cercando di capire i sistemi di prova interattivi e ho provato il seguente problema come esercizio. Sappiamo che PH⊆ PSPA CEPH⊆PSPUNCEPH \subseteq PSPACE e ioP= PSPA CEioP=PSPUNCEIP=PSPACE , quindi escogiti sistemi di prova interattivi (di facile comprensione) per PHPHPH ? Un sistema di prova interattivo per è banale, ma …

9 complexity-theory interactive-proof-systems

3

Cosa sono i poligoni degeneri?

Cosa sono i poligoni degeneri? Come si controlla se una determinata coppia di poligoni è degenerata o no?

9 algorithms computational-geometry

2

Cosa stava succedendo prima dell'apprendimento PAC

Sto studiando l'apprendimento PAC (teoria dell'apprendimento computazionale) come un principiante senza alcuna conoscenza precedente di machine learning / AI. Sto studiando il modello principalmente da un punto di vista storico. Per questo, le cose più importanti sono ovviamente i risultati basati sul modello. Ci sono abbastanza documenti là fuori che …

9 machine-learning

1

Quale misura del disturbo usare quando si analizza Quicksort

Sto cercando di capire perché quicksort usando la partizione di Lomuto e un perno fisso sta funzionando in modo irregolare, ma nel complesso male, su input generati casualmente. Sto pensando che anche se gli input sono generati casualmente, le sequenze potrebbero essere molto ordinate, ma non sono sicuro di come …

9 algorithms sorting

1

Converti CFG in PDA

Esiste un insieme di regole o metodi per convertire qualsiasi grammatica libera dal contesto in automi push down? Ho già trovato delle diapositive online ma non sono riuscito a capirle. Nella diapositiva 10 parla di alcune regole che qualcuno potrebbe spiegare?

9 context-free formal-grammars pushdown-automata simulation

1

Alla ricerca del popolare libro di scienze sulla bioinformatica o genomica computazionale

Un quindicenne intelligente che conosco è interessato sia all'informatica che alla genetica. Le ho detto che questi campi formano una combinazione eccellente. Vorrei darle un libro sulla bioinformatica o sulla genomica computazionale. Sto cercando un libro divertente, non un libro di testo. In particolare, dovrebbe ispirare le persone a voler …

9 education books bioinformatics

4

Che cos'è una sorta di semantica del linguaggio di programmazione?

Nel capitolo 1 di Basi pratiche per i linguaggi di programmazione , l'autore menziona che gli alberi di sintassi astratti sono associati a specie . Intuitivamente, i tipi sono come i tipi, ma mi piacerebbe sapere se hanno una definizione precisa. Sarei felice se anche alcuni riferimenti fossero forniti.

9 terminology programming-languages semantics

1

Differenza tra le lingue accettate da due DFA con diverso stato iniziale / stati accettanti?

Di recente, ho posto una domanda su Math SE. Ancora nessuna risposta. Questa domanda è collegata a quella domanda, ma maggiori dettagli tecnici verso l'informatica. Dati due DFA A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) e B=(Q,Σ,δ,q2,F2)B=(Q,Σ,δ,q2,F2)B = (Q, \Sigma, \delta, q_2, F_2) dove l'insieme di stati, l'alfabeto di input …

9 formal-languages reference-request finite-automata

2

Macchina di Turing a due stati per l'abbinamento delle parentesi

Al college abbiamo imparato la teoria del calcolo in generale e le macchine di Turing in modo più specifico. Uno dei grandi risultati teorici è che al costo di un alfabeto (simboli) potenzialmente grande, è possibile ridurre il numero di stati fino a solo 2. Stavo cercando esempi di diverse …

9 turing-machines context-free parsers

2

Le strutture di dati di ricerca probabilistica sono utili?

Una SkipList fornisce gli stessi limiti per la ricerca di un albero bilanciato con il vantaggio che il riequilibrio non è necessario. Poiché SkipList è costruito usando lanci casuali di monete, questi limiti valgono solo finché la struttura di SkipList è sufficientemente "bilanciata". In particolare, con probabilità per una costante …

9 data-structures search-trees probabilistic-algorithms

2

Esiste un algoritmo di "ordinamento" che restituisce una permutazione casuale quando si utilizza un comparatore a gettoni?

Ispirato da questa domanda in cui chi chiede sapere se il tempo di esecuzione cambia quando il comparatore utilizzato in un algoritmo di ricerca standard viene sostituito da un discreto lancio di monete, e anche dall'incapacità di Microsoft di scrivere un generatore di permutazione uniforme, la mia domanda è quindi …

9 sorting randomized-algorithms permutations