Data una lingua normale (NFA, DFA, grammatica o regex), come si può contare il numero di parole accettate in una determinata lingua? Entrambi "con esattamente n lettere" e "con al massimo n lettere" sono interessanti. Margareta Ackerman ha due articoli sull'argomento correlato dell'enumerazione delle parole accettate da un NFA, ma …
In molti articoli che coinvolgono grammatiche senza contesto (CFG), gli esempi di tali grammatiche presentati spesso ammettono facili caratterizzazioni del linguaggio che generano. Per esempio: S →S→aaSbS→aaSbS \to a a S b S→S→S \to genera ,{a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} S→aSbS→aSbS \to a S b S→aaSbS→aaSbS \to a …
Recentemente stavo leggendo sul parser Earley e penso che sia uno degli algoritmi più eleganti che abbia mai visto. Tuttavia, l'algoritmo nel suo senso tradizionale è un riconoscitore e non un parser, il che significa che può rilevare se una stringa corrisponde a un particolare CFG ma non produce un …
1) Qual è l'eventuale relazione tra la tipizzazione statica e le grammatiche formali? 2) In particolare, sarebbe possibile per un automa a limite lineare verificare se, per esempio, un programma C ++ o SML fosse ben tipizzato? Un automa pila nidificato? 3) Esiste un modo naturale per esprimere regole di …
Per qualsiasi linguaggio su Σ * , definire L 1 / 2 = { x ∈ Σ * : x y ∈ L , y ∈ Σ | x | } . In parole, L 1 / 2 comprende tutte x per i quali esiste una y di uguale lunghezza …
Per un alfabeto finito fisso ΣΣ\Sigma , un linguaggio formale LLL su ΣΣ\Sigma è regolare se esiste un automa a stati finiti deterministico (DFA) su ΣΣ\Sigma che accetta esattamente LLL . Sono interessato a lingue "quasi" regolari, nel senso che possono essere riconosciute da famiglie di dimensioni di automi che …
Alcuni di voi potrebbero aver seguito questa domanda , che è stata chiusa a causa del mancato livello di ricerca. Quindi, sto estraendo la parte della domanda che è a livello di ricerca. Al di là delle tecniche "più semplici", come la riduzione all'ordinamento o un problema completo EXPTIME, quali …
Quando ho armeggiato con l'analisi LR non canonica, ho escogitato un metodo di analisi (con tabelle di dimensioni infinite, che lo rende in qualche modo poco pratico ) in grado di analizzare esattamente le grammatiche non ambigue nel tempo , e mi chiedevo se fosse possibile fare meglio :O(n2)O(n2)O(n^2) Tutte …
Oltre alla complessità (deterministica) della comunicazione di una relazione R , un'altra misura di base per la quantità di comunicazione necessaria è il numero di partizione del protocollo p p ( R ) . La relazione tra queste due misure è nota fino a un fattore costante. La monografia di …
Ho notato che le lingue regolari sopra l'alfabeto possono essere naturalmente pensate come un poset, e in effetti un reticolo. Inoltre, la concatenazione insieme al linguaggio vuoto ϵ definisce una struttura monoidale rigorosa su questa categoria che è distributiva sui join (non sono sicuro degli incontri). È un costrutto utile …
Il lemma di pompaggio per le lingue regolari può essere dimostrato considerando un automa a stati finiti che riconosce la lingua studiata, selezionando una stringa con una lunghezza maggiore del suo numero di stati e applicando il principio del buco del piccione. Il lemma di pompaggio per le lingue senza …
Indica con wnwnw_n il numero di parole di lunghezza nnn in un linguaggio (forse ambiguo) senza contesto. Cosa si sa di wnwnw_n ? Sono sicuro che questo è stato studiato molto, ma non sono riuscito a trovare nulla.
Date le espressioni regolari R1,…,RnR1,…,RnR_1, \dots, R_n , ci sono limiti non banali sulla dimensione della più piccola grammatica senza contesto per ?R1∩⋯∩RnR1∩⋯∩RnR_1 \cap \cdots \cap R_n
Definire la seguente classe di lingue "circolari" su un alfabeto finito Sigma. In realtà, il nome esiste già per indicare una cosa diversa che sembra, utilizzata nel campo dell'informatica del DNA. AFAICT, questa è una diversa classe di lingue. Una lingua L è circolare iff per tutte le parole www …
È noto che il problema dell'equivalenza è indecidibile per le lingue generali senza contesto. Tuttavia, tutte le prove di questo fatto di cui sono a conoscenza sembrano implicare alcune ambigue grammatiche libere dal contesto. Per questo motivo, vorrei chiedere se è noto se il problema rimane indecidibile, limitandosi a linguaggi …
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.