Domande taggate «fl.formal-languages»

linguaggi formali, grammatiche, teoria degli automi

1
Esiste un libro / documento di indagine che delinea gerarchie di classi linguistiche, proprietà di chiusura, ecc
Attualmente sto facendo alcune ricerche linguistiche formali che coinvolgono classi di lingue sopra il normale ma sotto il contesto gratuito. Sto guardando cose come macchine multicounter a inversione inversa, macchine contatore a pila singola, CFL deterministici, ecc. Mi chiedo se qualcuno sappia di un buon libro o di un documento …
3
Un linguaggio “semplice” al di fuori di
Sto cercando una lingua L con le seguenti proprietà: L non dovrebbe essere privo di contesto. Il complemento di L non dovrebbe essere privo di contesto. (Tutto ciò che vedi nei libri di testo come primi esempi di lingue senza contesto non sembra soddisfare questo secondo requisito.) Non dovrei essere …
2
Decidibilità dell'uguaglianza dei CFL
Il problema seguente è decidibile: Data una grammatica senza contesto , ?solsolGL ( G ) = ∅L(sol)=∅L(G) = \varnothing Il seguente problema è indecidibile: Data una grammatica senza contesto , ?solsolGL ( G ) = A*L(sol)=UN*L(G) = A^{\ast} Esiste una caratterizzazione delle lingue senza contesto con uguaglianza decidibile ?MMML ( …
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.