Il seguente contesto linguistico è gratuito? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Come sottolineato da sdcvvc, una parola in questa lingua può anche essere descritta come la concatenazione di due parole della stessa lunghezza …
Ho cercato in rete una risposta a questa domanda e sembra che tutti conoscano implicitamente la risposta tranne me. Presumibilmente questo è perché le uniche persone a cui importa sono quelle che hanno avuto un'istruzione terziaria sull'argomento. Io, d'altra parte, sono stato gettato nel profondo per un incarico di scuola …
Ecco una congettura per le espressioni regolari: Per l'espressione regolare , lascia che la lunghezza | R | essere il numero di simboli in essa contenuti, ignorando le parentesi e gli operatori. Ad esempio | 0 ∪ 1 | = | ( 0 ∪ 1 ) ∗ | = 2RRR| …
Questa domanda è stata migrata dallo Scambio teorico di stack di informatica perché è possibile rispondere a Scambio stack di informatica. Migrato 6 anni fa . Ho trovato molte definizioni di linguaggi ricorsivi e ricorsivamente enumerabili. Ma non riuscivo a capire cosa fossero. Qualcuno può dirmi cosa sono in parole …
Sappiamo che i DFA sono equivalenti ai NFA in termini di potere espressivo; esiste anche un algoritmo noto per convertire NFA in DFA (purtroppo ora conosco l'inventore di tale algoritmo), che nel peggiore dei casi ci dà stati, se il nostro NFA aveva stati2S2S2^SSSS La mia domanda è: cosa sta …
La logica costruttivista è un sistema che rimuove la Legge del Medio Escluso, nonché la Doppia Negazione, come assiomi. È descritto su Wikipedia qui e qui . In particolare, il sistema non consente prove per contraddizione. Mi chiedo, qualcuno ha familiarità con come questo influisce sui risultati riguardanti le macchine …
EPAL, il linguaggio anche dei palindromi, è definito come il linguaggio generato dalla seguente inequivocabile grammatica senza contesto: S→ a aS→un'un'S \rightarrow a a S→ b bS→BBS \rightarrow b b S→ una Sun'S→un'Sun'S \rightarrow a S a S→ b SBS→BSBS \rightarrow b S b L'EPAL è la 'rovina' di molti …
Come dice il titolo, ho trascorso un paio d'ore lo scorso fine settimana cercando di concludere la classe di linguaggi corrispondenti alle espressioni regolari compatibili con Perl, escludendo qualsiasi operatore di corrispondenza che consenta di eseguire codice arbitrario all'interno del modello . Se non sai cosa sono i PCRE, leggi …
Specificare le lingue formali dando grammatiche formali è un compito frequente: abbiamo bisogno di grammatiche non solo per descrivere le lingue, ma anche per analizzarle o persino per fare scienza adeguata . In tutti i casi, è importante che la grammatica a portata di mano sia corretta , ovvero generi …
Esiste un linguaggio "naturale" che è indecidibile? per "naturale" intendo un linguaggio definito direttamente dalle proprietà delle stringhe e non tramite macchine e loro equivalenti. In altre parole, se gli sguardi lingua come dove è una TM, DFA (o regolari-exp), PDA (o la grammatica), ecc .., allora non è naturale. …
Questa domanda è stata migrata dallo Scambio teorico di stack di informatica perché è possibile rispondere a Scambio stack di informatica. Migrato 7 anni fa . Sto cercando teorie matematiche che descrivono i linguaggi formali (insieme di stringhe) in generale e non solo le gerarchie grammaticali.
Quando si considerano i modelli di calcolo della macchina, la gerarchia di Chomsky è normalmente caratterizzata da (in ordine), automi finiti, automi push-down, automi rilegati lineari e macchine di Turing. Per il primo e l'ultimo livello 1 (linguaggi regolari e linguaggi ricorsivamente enumerabili), non fa alcuna differenza per la potenza …
Le lingue senza contesto non sono chiuse sotto complemento, lo sappiamo. Per quanto ho capito, le lingue senza contesto che sono un sottoinsieme di un'*B*a∗b∗a^*b^* per alcune lettere a , ba,ba,b sono chiuse sotto complemento (!?) Ecco il mio argomento. Ogni linguaggio CF LLL ha un'immagine Parikh semi-lineare π( L …
Wikipedia ha la seguente definizione del lemma di pompaggio per i linguaggi regolari ... Sia un linguaggio regolare. Quindi esiste un numero intero ≥ 1 che dipende solo da tale che ogni stringa in di lunghezza almeno ( è chiamata "lunghezza di pompaggio") può essere scritta come = (ovvero, può …
Voglio analizzare lingue specifiche del dominio definite dall'utente. Queste lingue sono in genere vicine alle notazioni matematiche (non sto analizzando un linguaggio naturale). Gli utenti definiscono il loro DSL in una notazione BNF, in questo modo: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * …
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.