Lingue Attribuite e B , diciamo che il loro concatenamento A B è inequivocabile se per tutte le parole w ∈ A B , v'è esattamente una decomposizione w = un b con un ∈ A e B ∈ B , e ambiguo altrimenti. (Non so se esiste un termine …
Se ho una grammatica di tipo 3, può essere rappresentata su un automa pushdown (senza fare alcuna operazione in pila) in modo da poter rappresentare espressioni regolari usando linguaggi senza contesto. Ma posso sapere se una grammatica di tipo 3 è , , , ecc. Senza costruire tabelle di analisi?LR …
Nota che questa è una domanda relativa allo studio in un corso CS presso un'università, NON è un compito a casa e può essere trovato qui sotto l'esame dell'autunno 20112. Ecco le due domande che sto esaminando da un esame passato. Sembrano essere collegati, il primo: Permettere FINITECFG={<G>∣G is a …
Si dice che l'intersezione di una lingua senza contesto L con una lingua normale M è sempre libera dal contesto. Ho capito la prova della costruzione del prodotto incrociato, ma non riesco ancora a capire perché sia privo di contesto ma non regolare. Il linguaggio generato da tale intersezione ha …
Non sono chiaro sull'uso delle frasi linguaggio "infinito" o linguaggio "finito" nella teoria dei computer. Penso che la radice del problema sia che un linguaggio come è infinito, nel senso che può generare un numero infinito (ma numerabile) di stringhe. Tuttavia, può ancora essere riconosciuto da un automa a stati …
Recentemente è stata posta una domanda interessante e successivamente cancellata. Per un linguaggio regolare LLL, la sua complessità DFA è la dimensione del minimo DFA che lo accetta e la sua complessità NFA è la dimensione del minimo NFA che lo accetta. È noto che esiste una separazione esponenziale tra …
Esiste una caratterizzazione algebrica del numero di parole di una determinata lunghezza in una lingua normale? Wikipedia afferma un risultato in qualche modo impreciso: Per ogni linguaggio regolare esistono costanti e polinomi tali che per ogni il numero di le parole di lunghezza in soddisfano l'equazione .λ 1 ,LLLp 1 …
Data una lingua , definire l'insieme di lunghezze di L come l'insieme di lunghezze di parole in L : L S ( L ) = { | u | ∣ u ∈ L }LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Quali insiemi di numeri interi possono essere l'insieme di …
Dato un alfabeto Σ={a,b}Σ={a,b}\Sigma = \{ a,b \} , come molti diversi linguaggi regolari sono lì che può essere accettata da un nnn -Stato automa a stati finiti non deterministico? Ad esempio, consideriamo n=3n=3n=3 . Abbiamo quindi 2182182^{18} diverse configurazioni di transizione e 23232^3 diverse configurazioni di stato iniziale e …
È noto che la lingua delle parole che contiene lo stesso numero di 0 e 1 non è regolare, mentre la lingua delle parole che contiene lo stesso numero di 001 e 100 è regolare ( vedere qui ). Dato due parolew1,w2w1,w2w_1,w_2 , è decidibile se la lingua delle parole …
Mi chiedevo quando le lingue che contenevano lo stesso numero di istanze di due sottostringhe fossero regolari. So che la lingua che contiene lo stesso numero di 1 e 0 non è regolare, ma è una lingua come , dove L = { w ∣ numero di istanze della sottostringa …
Mentre svolgo l'attuale incarico per le mie lingue formali e il mio corso sugli automi, mi sono in qualche modo bloccato su esercizi che coinvolgono le lingue unarie (spero che sia il termine giusto), cioè le lingue che si basano su una sola lettera. Non voglio fare domande sugli esercizi …
Consenti alla lingua L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* essere regolare. Una fattorizzazione di LL\mathcal{L} è una coppia massima (X,Y)(X,Y)(X,Y) di insiemi di parole con X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , dove X⋅Y={xyX⋅Y={xyX \cdot Y = \{xy | x∈X,y∈Y}x∈X,y∈Y}x \in X, y \in Y\} . (X,Y)(X,Y)(X,Y) è massimo …
LLL è una lingua normale sull'alfabetoΣ={a,b}Σ={a,b}\Sigma = \{a,b\} . Il quoziente sinistro diLLL riguardo aw∈Σ∗w∈Σ∗w \in \Sigma^* è la lingua w−1L:={v∣wv∈L}w−1L:={v∣wv∈L}w^{-1} L := \{v \mid wv \in L\} Come posso dimostrare che w−1Lw−1Lw^{-1}L è regolare?
Mi piacerebbe molto il tuo aiuto per quanto segue: Per ogni fisso L2L2L_2devo decidere se esiste una chiusura con i seguenti operatori: Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\} . Le opzioni pertinenti sono: Le lingue regolari …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.