Domande taggate «automata-theory»

Teoria degli automi, comprese macchine astratte, grammatiche, analisi, inferenza grammaticale, trasduttori e tecniche a stati finiti

4
Intersezione DFA nello spazio subquadratico?
L'intersezione di due DFA (minimi) con n stati può essere calcolata usando O (n 2 ) tempo e spazio. Questo è ottimale in generale, poiché il DFA (minimo) risultante può avere n 2 stati. Tuttavia, se il DFA minimo risultante ha stati z, dove z = O (n), può essere …
1
Decidere il vuoto dell'intersezione delle lingue normali in tempi subquadratici
Sia due lingue normali fornite dagli NFA come input.L1,L2L1,L2L_1,L_2M1,M2M1,M2M_1,M_2 Supponiamo di voler verificare se . Questo può essere chiaramente fatto da un algoritmo quadratico che calcola l'automa del prodotto di , ma mi chiedevo se fosse noto qualcosa di più efficiente.L1∩L2≠∅L1∩L2≠∅L_1\cap L_2\neq \emptysetM1,M2M1,M2M_1,M_2 Esiste un algoritmo per decidere se ? …
1
Congettura su due contatori automi
Vorrei provare (o confutare) la seguente congettura: Congettura : un automa a due contatori (2CA) non può decidere la seguente lingua: le rappresentazioni ternarie e binarie di n hanno lunghezza pari o dispari }L={n∣L={n∣L = \{ n \mid nnn}}\} Un 2CA può facilmente verificare se la rappresentazione binaria ha una …
4
Dove cadono la maggior parte delle implementazioni REGEX nella scala della complessità?
Le implementazioni più moderne di espressioni regolari, come quelle in perl o .NET, vanno oltre la classica definizione informatica di REGEX con caratteristiche come lookahead e lookbehind. Queste funzionalità consentono loro di analizzare le istruzioni che non possono essere descritte con un automa finito e senza pushdown? Quanto più vicino …
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.