Scienza del computer formal-languages

2

Esempi di linguaggi senza contesto con complementi senza contesto

Le lingue senza contesto non sono chiuse sotto integrazione. Nelle lezioni ci è stato dato lo stesso argomento di qui su Wikipedia : Per sia A che B sono senza contesto, ma la loro intersezione A ∩ B non lo è. Dal momento che le lingue senza contesto sono chiuse …

11 formal-languages context-free

1

Algoritmo per verificare se una lingua è regolare

Esiste un algoritmo / procedura sistematica per verificare se una lingua è regolare? In altre parole, dato un linguaggio specificato in forma algebrica (pensa a qualcosa come ), verifica se il linguaggio è regolare o meno. Immagina di scrivere un servizio web per aiutare gli studenti a fare tutti i …

11 algorithms formal-languages regular-languages decision-problem

2

Trovare la lingua generata da una grammatica senza contesto

Questa è una domanda dal libro del Drago (chiedo scusa per errori di traduzione, non ho la versione inglese a portata di mano): Quale lingua viene generata da questa grammatica? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Non so cosa dovrei fare qui. La …

11 formal-languages context-free formal-grammars

4

Star lingua libera vs. lingua normale

Mi chiedevo, poiché è esso stesso un linguaggio senza stelle, esiste un linguaggio normale che non è un linguaggio senza stelle? Potresti fare un esempio?a∗a∗a^* (da wikipdia ) Lawson definisce le lingue senza stelle come: Si dice che un linguaggio regolare sia privo di stelle se può essere descritto da …

11 formal-languages regular-languages automata

3

Prova semplice per le lingue senza contesto chiuse in turni ciclici

Lo spostamento ciclico (chiamato anche rotazione o coniugazione ) di una lingua è definito come . Secondo Wikipedia (e qui ) le lingue senza contesto sono chiuse sotto questa operazione, con riferimenti a documenti di Oshiba e di Maslov. C'è una facile prova di questo fatto?LLL{yx∣xy∈L}{yx∣xy∈L}\{ yx \mid xy \in …

11 formal-languages context-free closure-properties

2

Come posso dimostrare che questa lingua non è senza contesto?

Ho la seguente lingua {0i1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Sto cercando di determinare in quale classe di lingua Chomsky si adatta. Posso vedere come potrebbe essere realizzato usando una grammatica sensibile al contesto, quindi so che è almeno sensibile al contesto. Sembra che …

11 formal-languages context-free formal-grammars pumping-lemma

3

Come convertire un NFA con cicli sovrapposti in un'espressione regolare?

Se ho capito bene, NFA ha lo stesso potere espressivo delle espressioni regolari. Spesso leggere espressioni regolari equivalenti da NFA è facile: traduci cicli in stelle, incroci come alternative e così via. Ma cosa fare in questo caso: [ fonte ] I cicli sovrapposti rendono difficile vedere cosa accetta questo …

11 algorithms formal-languages finite-automata regular-expressions

1

Un'unione infinita di lingue senza contesto è sempre senza contesto?

Consenti a , , , essere una sequenza linguaggi senza contesto, ognuno dei quali è definito su un alfabeto comune Σ . Sia L l'unione infinita di L_1 , L_2 , L_3 , \ dots ; vale a dire, L = L_1 \ cup L_2 \ cup L_3 \ cup …

11 formal-languages context-free closure-properties

5

Una condizione sufficiente e necessaria sulla regolarità di una lingua

Quale delle seguenti affermazioni è corretta? esistono condizioni sufficienti e necessarie sulla regolarità di una lingua ma non ancora scoperte. Non ci sono condizioni sufficienti e necessarie sulla regolarità di una lingua. Il pompaggio del lemma è una condizione necessaria per la non regolarità di una lingua. Pompare il lemma …

11 formal-languages regular-languages

4

Puoi specificare un linguaggio di programmazione senza implementazione?

È teoricamente possibile specificare un linguaggio di programmazione per il quale non potrebbe esistere alcuna implementazione? Un linguaggio di programmazione è un modo per definire le funzioni. Un'implementazione indica un metodo per eseguire un determinato programma in quella lingua su un dato input all'output della funzione corrispondente al programma su …

11 formal-languages computability programming-languages

1

Inferenza dei tipi di perfezionamento

Al lavoro mi è stato assegnato il compito di dedurre alcune informazioni sul tipo di un linguaggio dinamico. Riscrivo sequenze di affermazioni in letespressioni nidificate , in questo modo: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

3

Che cos'è il complemento di lingue senza contesto?

Devo sapere in quale classe di CFL è chiusa, ovvero quale set è il complemento di CFL. So che CFL non è chiuso sotto il complemento e so che P è chiuso sotto il complemento. Dal momento che CFL⊊⊊\subsetneqPI può dire che il complemento di CFL è incluso in P …

11 complexity-theory formal-languages context-free closure-properties sets

2

La lingua che coinvolge il numero irrazionale non è un CFL

Sto lavorando a un duro esercizio in un libro di testo e non riesco proprio a capire come procedere. Ecco il problema Supponiamo di avere la lingua L = { a i b j : i ≤ j γ , i ≥ 0 , j ≥ 1 }L={aibj:i≤jγ,i≥0,j≥1}L = \{a^ib^j: …

10 formal-languages automata context-free

1

Costruire tutte le lingue senza contesto da un insieme di lingue di base e proprietà di chiusura?

Un modo di guardare le espressioni regolari è come una prova costruttiva del seguente fatto: è possibile costruire le lingue regolari iniziando con un piccolo set di lingue e combinandole tramite un piccolo set fisso di proprietà di chiusura. In particolare, se iniziamo con la lingua vuota, la lingua contenente …

10 formal-languages context-free closure-properties regular-expressions

2

Metodo per misurare la "somiglianza" tra le grammatiche FSA?

Sto lavorando con un algoritmo di corrispondenza dei modelli che genera un automa a stati finiti aciclico che accetta una determinata stringa di testo e tutte le sue sottostringhe. L'algoritmo FSA viene eseguito su una rappresentazione simbolica di un flusso musicale (ad es. Dati MIDI). Il flusso musicale è stato …

10 formal-languages reference-request finite-automata

Domande taggate «formal-languages»