Scienza del computer

1

Può esserci un lemma di pompaggio sensibile al contesto?

Una proprietà "pumping" (parole di una certa lunghezza implicano l'esistenza di loop nel meccanismo di definizione della lingua) sono note per linguaggi regolari e senza contesto e pochi altri (di solito usati per confutare l'appartenenza di una lingua a una certa classe ). All'interno della discussione intorno a questa domanda …

8 formal-languages pumping-lemma context-sensitive

1

Analisi del flusso di dati con eccezioni

L'analisi del flusso di dati funziona su un grafico del flusso di controllo. Quando una lingua in esame supporta le eccezioni, il grafico del flusso di controllo può esplodere. Quali sono le tecniche standard per affrontare questa esplosione? Possiamo ignorare profondamente i bordi indotti dall'eccezione? Le analisi del flusso di …

8 programming-languages program-optimization software-verification

2

Algoritmo per la risoluzione del problema di vincolo planare ("Individuazione di mostri di Pokemon Go")

[Nota: questo problema è stato ispirato da Pokemon Go. Spiegherò prima il problema in termini matematici, quindi spiegherò la connessione a Pokemon Go. Il mio obiettivo non è imbrogliare nel gioco. Se volessi imbrogliare, sarebbero disponibili più facilmente informazioni migliori.] Supponiamo che ci siano punti (i "punti sconosciuti") in un …

8 algorithms computational-geometry constraint-satisfaction

1

Algoritmo del tempo lineare per la ricerca di percorsi più brevi da a

Definizione. Dato un grafo e due vertici e , il problema -shortest-percorsi è trovare il semplici cammini minimi tra e in .G = ( V, E)G=(V,E)G=(V,E)SsstttKkkKkkSsstttsolGG Si noti che la lunghezza di questi percorsi non è necessariamente uguale e che i vertici e sono necessariamente collegati a . Mi chiedevo …

8 algorithms graphs optimization shortest-path enumeration

2

Perché BNF è considerata una tecnica insoddisfacente per descrivere una lingua?

L'altro giorno stavo leggendo l'articolo Concetti fondamentali in Linguaggi di programmazione di C. Strachey , in cui leggevo qualcosa che mi era abbastanza strano. Citando direttamente (con la strana parte evidenziata da me): Di fronte alla situazione come esiste oggi, dove v'è un metodo noto di descrivere una certa classe …

8 formal-grammars programming-languages syntax

1

Perché un codificatore MP3 utilizza una trasformata di Fourier veloce prima di applicare il modello psicoacustico?

Karlheinz Brandenburg raffigura un codificatore MP3 come questo: Fonte: Spiegazione di MP3 e AAC Ho segnato la FFT perché non sono del tutto sicuro del motivo per cui è effettivamente necessario eseguirne una. Perché il modello psicoacustico non può essere applicato alle cosiddette linee dopo la trasformazione del coseno discreto …

8 algorithms data-compression fourier-transform

1

Church-Turing e PDE fisiche

Quando leggo della tesi di Church-Turing sembra essere un'affermazione comune che "la realtà fisica è calcolabile di Turing". Qual è la base per questa affermazione? Ci sono risultati teorici su questa linea? Per il contesto, sono un ricercatore che lavora su simulazioni fisiche, quindi ovviamente sono consapevole che molte equazioni …

8 computability simulation church-turing-thesis hypercomputation

1

Origine del concetto di tipi

A proposito dello stato dell'arte che sto correndo davanti alla teoria dei tipi, ho queste domande tutte relative alla storia dei tipi. Da dove viene l'idea di Type ? (Sembra che tutto inizi quando Russell e Whitehead propongono un modo per evitare la contraddizione che conosciamo oggi come Paradosso di …

8 type-theory history

1

È possibile creare DFA per parole di lunghezza dispari con 1 al centro?

L : = { w ∈ { 0 , 1}*|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | la lunghezza di www è strano ∧∧ \wedge 1 è nel mezzo di w }w}w\} Quindi l'alfabeto è { 0 , 1}*{0,1}∗\{0,1\}^*. Il mio problema è che non riesco a tenere traccia dell'uguaglianza dei caratteri …

8 formal-languages finite-automata formal-grammars

4

Creiamo un linguaggio di programmazione scrivendo un compilatore?

Dì, volevo creare il mio linguaggio di programmazione. Supponendo di aver preso tutte le decisioni su come voglio che appaia e agisca, devo solo scrivere un compilatore per questo? Ad esempio, il codice Java di alto livello è diverso dal semplice testo e questo testo è nel formato corretto per …

8 programming-languages compilers

3

Sottoinsieme massimo a coppie non divisibile per

Ho un insieme di numeri e desidero calcolare il sottoinsieme massimo in modo tale che la somma di due dei suoi elementi non sia divisibile per un numero intero KKK. Ho provato a risolvere questo problema, ma ho trovato la soluzione quadratica, che non è una risposta efficiente. K<100,N<10000K<100,N<10000K < …

8 algorithms efficiency

1

Qual è la complessità di una ricerca tra parentesi che utilizza mediant?

Sto cercando di stimare la complessità di un algoritmo che ho scritto per il decompilatore Reko , in cui sto cercando di "annullare" la trasformazione eseguita da un compilatore in una divisione intera di una costante . Il compilatore ha convertito la divisione in una moltiplicazione intera e uno spostamento: …

8 algorithm-analysis runtime-analysis numerical-algorithms

1

Prova n! è completamente costruibile nel tempo

Abbiamo appena finito la lezione di "Costruibilità del tempo" in classe la scorsa settimana e, per esempio, lo abbiamo dimostrato nK,2nnK,2nn^k, 2^n sono completamente costruibili nel tempo, cioè esiste una macchina di Turing (deterministica multi-nastro) che per nnn dato, si ferma esattamente dopo f( n )f(n)f(n) passi e ho appena …

8 complexity-theory turing-machines time-complexity

1

Struttura dei dati per una ricerca efficiente, quando inserimenti e rimozioni sono solo unilaterali

Ho bisogno di una struttura di dati per memorizzare un numero nnn di elementi, ognuno dei quali è associato a tempi diversi titit_i. nnn varia e sebbene abbia un limite superiore teorico, si tratta di molti ordini di grandezza più grandi di quelli normalmente utilizzati. Attraverso la mia applicazione posso …

8 data-structures search-trees algorithm-design

3

Qual è la relazione tra la logica del primo ordine e la teoria del primo ordine?

Ho pensato che qualsiasi FOT sia un sottoinsieme di FOL, ma questo non sembra essere il caso, perché FOL è completo (ogni formula è valida o non valida), mentre alcuni FOT (come l'aritmetica di interi lineari) non sono completi. Quindi, FOL è più espressivo di qualsiasi altro FOT? O incomparabile? …

8 logic first-order-logic