Scienza del computer regular-languages

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

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

2

Il più piccolo DFA che accetta determinate stringhe e rifiuta altre stringhe date

Dati due insiemi di stringhe sull'alfabeto Σ , possiamo calcolare il più piccolo automa deterministico a stati finiti (DFA) M tale che A ⊆ L ( M ) e L ( M ) ⊆ Σ ∗ ∖ B ?A , BUN,BA,BΣΣ\SigmaMMMA ⊆ L ( M)UN⊆L(M)A \subseteq L(M)L ( M) ⊆ …

11 regular-languages automata finite-automata machine-learning

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

Esiste un modo per verificare se due NFA accettano la stessa lingua?

O almeno generare una serie di stringhe accettate da un NFA, in modo da poterlo inserire nell'altro NFA. Se eseguo una ricerca in tutti i percorsi dell'NFA, funzionerà? Anche se ci vorrà molto tempo.

10 algorithms regular-languages finite-automata

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

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

Automi finiti non deterministici | Esempio Sipser 1.16

Sto lavorando attraverso il Sipser Book (2a edizione) e mi sono imbattuto in questo esempio, che non capisco. Nel libro si afferma che questo NFA accetta la stringa vuota, ϵϵ\epsilon . Qualcuno potrebbe farmi capire perché questo è il caso? La mia comprensione è che ϵϵ\epsilon passerà a q3q3q_3 che …

9 regular-languages finite-automata nondeterminism

3

DFA per accettare tutte le stringhe binarie di forma potenza di (non divisibile per ) cioè

Possiamo formare DFA accettando numeri binari divisibili per nnn . Ad esempio, DFA che accetta numeri binari divisibili per 2 può essere formato come segue: Allo stesso modo DFA che accetta numeri binari divisibili per 3 può essere formato come segue: Possiamo seguire una procedura ben definita per formare questi …

9 regular-languages automata finite-automata regular-expressions

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

3

È

Ho sostenuto la mia teoria degli esami di calcolo qualche settimana fa, e questa era una delle domande: Supponiamo che la linguaL = { ( anBm)r∣ n , m , r ≥ 0 }L={(un'nBm)r|n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L è regolare? Se sì, fornisci un'espressione regolare o un automa. Dopo che …

9 formal-languages regular-languages regular-expressions

3

Come sentire intuitivamente che una lingua è regolare

Data una lingua L={anbncn}L={anbncn} L= \{a^n b^n c^n\} , come posso dire direttamente, senza guardare le regole di produzione, che questa lingua non è regolare? Potrei usare il lemma del pompaggio, ma alcuni ragazzi stanno dicendo solo guardando la grammatica che questo non è normale. Come è possibile?

9 formal-languages regular-languages pumping-lemma intuition

4

Parole che hanno lo stesso prodotto associativo destro e sinistro

Ho iniziato a studiare automi non deterministici usando il libro di Hopcroft e Ullman . Sono bloccato in un problema che ho trovato molto interessante: Fornire un automa finito non deterministico accettando tutte le stringhe che hanno lo stesso valore quando valutate da sinistra a destra come da destra a …

9 formal-languages automata regular-languages finite-automata nondeterminism

Domande taggate «regular-languages»