Informatica teorica fl.formal-languages

1

Qual è la relazione congetturata tra le lingue P (PTime) e Tipo 1 (sensibile al contesto)?

P⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP è l'insieme di tutte le lingue decidibili in tempo polinomiale su una macchina di Turing deterministica, e CSLCSLCSL è la classe di linguaggi sensibili al contesto, noti per essere equivalenti a , i linguaggi decisi da automi a lineari.NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) Per molte domande aperte, vi è la …

10 cc.complexity-theory fl.formal-languages polynomial-time

3

Durezza nel trovare una parola di lunghezza al massimo

Dichiarazione problema : Sia un automa pushdown (potenzialmente non deterministico) e lascia che sia il suo alfabeto di input. C'è una parola st accettato da ?A w ∈ A ∗ | w | ≤ k MMMMUNA\cal Aw ∈ A*w∈A∗w \in \cal A^*| w | ≤k|w|≤k|w| \leq kMMM Questo problema è …

10 cc.complexity-theory np-hardness fl.formal-languages automata-theory

1

Esiste un metodo per dimostrare la non regolarità delle trasformazioni di stringa?

Esistono diversi modelli per definire le trasformazioni tra le lingue. Trasduttori di stato finito e trasformazioni di grafici definibili MSO su grafici di stringhe sono i due che conosco meglio. Sappiamo che i trasduttori a stati finiti a 2 vie (che sono più espressivi delle loro controparti a 1 via) …

9 fl.formal-languages

3

Matematica continua e teoria del linguaggio formale

Se ci sono alcuni risultati sulla risoluzione di problemi di linguaggi formali mediante analisi matematica, matematica continua. Ad esempio, risolvere il problema di non vuoto dell'intersezione per un linguaggio privo di contesto e un linguaggio regolare.

9 fl.formal-languages automata-theory context-free

1

Generalizzazione dell'affermazione che un monoide riconosce la lingua se il monoide sintattico divide il monoide

Sia un alfabeto finito. Per un dato linguaggio il monoide sintattico è una nozione ben nota nella teoria del linguaggio formale. Inoltre, un monoide riconosce una lingua se esiste un morfismo tale che .L ⊆ A ∗ M ( L ) M L φ : A ∗ → M L …

9 fl.formal-languages automata-theory regular-language algebra monoid

1

Densità asintotica di grammatiche ambigue senza contesto (CFG)

Qual è il rapporto tra CFG ambigui e tutti i CFG ? Poiché entrambi gli insiemi sono numerabili infiniti, il rapporto non è ben definito. Ma per quanto riguarda la densità asintotica : limn ↦ ∞# CFG ambiguo di dimensioni < n# CFG di dimensione < nlimn↦∞# ambiguous CFG of …

9 fl.formal-languages grammars context-free

2

Perché è necessario il non determinismo (Push-down automi)?

Vorrei sapere perché per il riconoscimento delle lingue senza contesto funzionano solo gli automi push-down non deterministici (DPA = NPDA). Perché gli automi push-down deterministici (DPDA) non riconoscono tali lingue?

9 fl.formal-languages automata-theory context-free

3

Estrarre esempi dalla teoria del linguaggio formale

Sto imparando la teoria algebrica dell'analisi. Il mio primo problema è identificare esempi di semiring specifici della teoria del linguaggio formale. Ecco un tentativo di costruire due esempi. 1 Data la grammatica CNF, gli elementi del semiring sono insiemi di simboli terminali e non terminali con le operazioni: i) Moltiplicazione …

9 fl.formal-languages

1

Espressioni regolari senza alternanza

Mi chiedevo quali insiemi di lingue sono generati dalle restrizioni delle espressioni regolari. Supponendo che tutte le restrizioni abbiano un simbolo costante per ogni elemento di e concatenazione. Quindi otto classi possono essere formate dalla presenza o assenza di complemento / negazione, alterazione / unione e la stella di Kleene. …

9 fl.formal-languages regular-expressions

2

Metodo di forma normale Chomsky: implicazioni sulle prestazioni del parser CYK?

I parser di grafici possono essere implementati in base alla forma normale di Chomsky o direttamente in base alle regole di produzione. Supponiamo per il momento che abbiamo un parser grafico CYK che utilizza la forma normale di Chomsky. La binarizzazione non è definita in modo univoco. Questo influisce sulle …

9 fl.formal-languages parsing

1

Esistono CFG di dimensioni polinomiali che descrivono questo linguaggio finito?

Esistono permutazioni e dimensioni polinomiali (in | w | = n ) grammatica libera dal contesto che descrive il linguaggio finito { w π 1 ( w ) π 2 ( w ) } sull'alfabeto { 0 , 1 } ?π1, π2π1,π2\pi_1,\pi_2| w | =n|w|=n|w|=n{ w π1( w ) π2( …

9 fl.formal-languages grammars context-free

4

Perché gli automi con limiti lineari non sono così popolari come gli altri automi?

Nella mia esperienza, i linguaggi sensibili al contesto e gli automi limitati lineari sono spesso saltati o breezati in corsi di teoria della computabilità e sono persino esclusi da alcuni libri di testo notevoli, sebbene gli automi finiti e pushdown ricevano molta attenzione. Sicuramente ci deve essere una buona ragione …

9 computability fl.formal-languages automata-theory

Domande taggate «fl.formal-languages»