Scienza del computer formal-languages

3

Perché usare le lingue nella teoria della complessità

Sto appena iniziando ad entrare nella teoria del calcolo, che studia cosa può essere calcolato, quanto velocemente, usando quanta memoria e con quale modello computazionale. Ho una domanda piuttosto semplice, ma spero davvero che alcuni di voi ragazzi possano aiutarmi a capire il concetto alla base: Perché tutto è incentrato …

10 complexity-theory formal-languages

4

Lingua normale non accettata da DFA con al massimo tre stati

Descrivi una lingua normale che non può essere accettata da nessun DFA con solo tre stati. Non sono davvero sicuro da dove cominciare e mi chiedevo se qualcuno potesse darmi qualche consiglio o consiglio. Capisco che il lemma del pompaggio può essere usato per dimostrare che una lingua non è …

10 formal-languages regular-languages finite-automata pumping-lemma

1

Le lingue normali sono chiuse in ordine (immagine Parikh)?

Supponiamo che sia una lingua normale rispetto a un alfabeto ordinato. La lingua è costruita prendendo ogni parola in L e ordinandola sempre una lingua normale?LLLLLL

10 formal-languages regular-languages

4

Esiste un linguaggio indefinibile di parole finite?

È necessario che L ⊆ Σ*L⊆Σ∗L\subseteq \Sigma^* sia infinito per essere indecidibile? Voglio dire, se scegliamo una lingua L'L′L' essere una versione limitata limitata di L ⊆ Σ*L⊆Σ∗L\subseteq \Sigma^* , ovvero | L'| ≤N|L′|≤N|L'|\leq N , ( N∈ NN∈NN \in \mathbb{N} ), con L'⊂ LL′⊂LL' \subset L . È possibile …

10 formal-languages computability undecidability

5

Linguaggio dei valori di una funzione affine

Scrivi per l'espansione decimale di (senza inizio ). Lasciate e interi, con . Considera la lingua delle espansioni decimali dei multipli di più una costante:ˉ nn¯\bar n nnn0aaabbba>0a>0a > 0aaa M = { ¯ ax + b ∣x∈N}M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} è regolare? context-free?MMM (Contrasto con la …

10 formal-languages context-free regular-languages integers

5

Esiste un metodo noto per costruire una grammatica dato un insieme finito di stringhe finite?

Dalla mia lettura sembra che la maggior parte delle grammatiche si occupi di generare un numero infinito di stringhe. E se hai lavorato al contrario? Se date n stringhe di lunghezza m, dovrebbe essere possibile creare una grammatica che genererà quelle stringhe e solo quelle stringhe. Esiste un metodo noto …

10 formal-languages regular-languages formal-grammars finite-sets

3

Un'espressione regolare può essere infinita?

So che le lingue che possono essere definite usando espressioni regolari e quelle riconoscibili da DFA / NFA (automi finiti) sono equivalenti. Inoltre non esiste alcun DFA per la lingua . Ma ancora si può essere scritto usando le espressioni regolari (per quella materia qualsiasi linguaggio non regolare può essere) …

10 formal-languages regular-languages regular-expressions

1

Anche l'inversione di un DFA minimo è minima?

La domanda è praticamente nel titolo. Esiste mai un momento in cui una lingua può essere accettata da un DFA minimo con n stati, ma L R , l'inversione di L , può essere accettata da un DFA con m stati, dove m < n ?LLLnnnLRLRL^RLLLmmmm < nm<nm<n

10 formal-languages reference-request automata finite-automata

1

Come può ws con | w | = | s | e saremo senza contesto mentre w # s non lo è?

Perché (in tal caso) il separatore ##\# sta facendo la differenza tra le due lingue? Diciamo: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Ecco una prova e una grammatica che rappresentano LLL come CFLCFLCFL E sotto sto aggiungendo una …

9 formal-languages context-free pumping-lemma

1

Quanto sono potenti i CFG che consentono un numero infinito di regole?

Di recente mi chiedevo cosa sarebbe successo se avessimo permesso alle grammatiche senza contesto di avere un numero infinito di regole. Chiaramente, se permettessimo arbitrari insiemi di regole così infiniti, ogni lingua sopra un certo alfabeto potrebbe essere descritta da un CFG con . E se limitassimo a tali insiemi …

9 formal-languages context-free formal-grammars

3

Perché lo stato rimane invariato nella semantica operativa a piccoli passi di un ciclo while?

Di solito vedo che nella rappresentazione semantica operativa strutturale per il ciclo while, lo stato del programma non cambia: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whioleBdoS,σ)→(iofBthenS;(whioleBdoS)elSeSKioP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Per me, questo non è intuitivo, se …

9 formal-languages programming-languages formal-methods operational-semantics

2

La regolarità delle lingue unarie con lunghezza delle parole somma di due resp. tre quadrati

Penso alle lingue unarie LkLkL_k , dove LkLkL_k è un insieme di tutte le parole la cui lunghezza è la somma di kkk quadrati. Formalmente: È facile dimostrare che L 1 = { a n 2 ∣ n ∈ N 0 } non è regolare (ad es. Con Pumping-Lemma). Inoltre, …

9 formal-languages regular-languages

1

Quali sono gli isomorfismi appropriati tra i linguaggi formali?

Un linguaggio formale sopra un alfabeto è un sottoinsieme di , cioè un insieme di parole su quell'alfabeto. Due linguaggi formali e sono uguali, se gli insiemi corrispondenti sono estensivamente uguali a sottoinsiemi di . Si possono usare le lingue nella teoria della complessità per formalizzare il concetto di "problema". …

9 complexity-theory formal-languages reference-request

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

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

Domande taggate «formal-languages»