Calcolo dell'intersezione di due NPDA dove è possibile


13

A proposito del suggerimento di Raffaello sull'intersezione di due NPDA :

Sia A1 e NPDA per le lingue senza contesto e , rispettivamente. Supponendo che sappiamo che è privo di contesto, possiamo (efficacemente) costruire NPDA per ?A2L1L2L=L1L2AL

Qualsiasi tipo di algoritmo sarebbe accettabile, ma più pratico è, meglio è.


un esempio di tale L in cui né L1 / L2 sono regolari e l'intersezione non vuota potrebbe essere utile, esiste una L simile? problemi in qualche modo simili rispetto alle NPDA (test del vuoto di intersezione, test di uguaglianza) sono indecidibili. suggerisci di migrare / promuovere su tcs.se se non si materializza alcuna risposta
vzn

@vzn Credo di avere un esempio di stato di ~ 50, proverò a trovare qualcuno che è più minimale
soandos

1
L'insieme di stringhe "almeno 1/3 1" e "meno di 2/3 1" sull'alfabeto sono entrambi DCFL e la loro intersezione è un CFL (e non un DCFL){0,1}
sjmc

@sjmc puoi delineare una prova? non ovvio per me. voterà se lo pubblichi come risposta anche se la sua risposta non è completa, i suoi progressi
vzn

aggiornare questo sembra avere una risposta indecidibile su tcs.se in base al fatto che il calcolo arbitrario della TM può essere espresso come intersezione di due CFL.
vzn,

Risposte:


6

Penso che questo sia possibile per la sottoclasse di CFL che sono invarianti di permutazione con un alfabeto binario.

Queste corrispondono al tipo lingue quantificatori confrontando le cardinalità di due insiemi. [1] caratterizza tali lingue accettate da DPDA dagli insiemi semilineari equivalenti e afferma alla fine che le lingue quantificatrici accettate da NPDA sono combinazioni booleane finite di tali lingue accettate da DPDA.1,1

Un teorema di van Benthem ([2]) dice che automi a pila accetta tipo quantifiers definibili in Presburger (cioè definita da insiemi semilineari). Quindi, se ottieni due lingue che sono CFL non deterministiche (usando il primo documento per sapere che hai tali esempi), la loro intersezione dovrebbe essere anche una CFL con questo teorema.1,1

L'insieme semilineare che è la loro intersezione potrebbe essere un po 'difficile da calcolare ... ma, se ce l'hai, [3] (pg. 11-12) fornisce un algoritmo per la creazione di un NPDA che accetta il linguaggio basato sui generatori del set semilineare corrispondente.

[1] Makoto Kanazawa. Quantificatori monadici riconosciuti da automi push-down deterministici . In Atti del 19 ° Colloquio di Amsterdam, pagine 139-146, 2013.

[2] Johann van Benthem. Saggi di semantica logica . Studi in linguistica e filosofia Volume 29, 1986, pp 151-176.

[3] Marcin Mostowski. Semantica computazionale per quantificatori monadici . Journal of Applied Non Classical Logics, 8 (1-2): 107-121, 1998.

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.