Informatica teorica automata-theory

1

Linguaggio regolare che discrimina tra due CFG deterministici

Supponiamo che si sono date due deterministici spinta verso il basso automi che riconoscono lingue e B , e il desiderio di determinare se v'è un linguaggio regolare R tale che A ⊆ R e R ∩ B = ∅ . Fondamentalmente, la sfida è determinare se esiste un DFA …

12 automata-theory

1

Esiste un sondaggio sul campo degli automi quantistici?

Sto cercando un documento di indagine sui concetti importanti nel campo degli Quantum Automata. Ho trovato Quantum Automata Theory - A Review di Hirvensalo, ma sembra troppo conciso per capire l'argomento. Esiste un sondaggio abbastanza completo sul tema degli Quantum Automata? Inoltre, potresti indicarmi la letteratura essenziale sull'argomento?

12 reference-request quantum-computing automata-theory

2

Generatore pseudocasuale per automi finiti

Sia una costante. Come possiamo dimostrare in modo dimostrabile un generatore pseudocasuale che imbroglia gli automi finiti d-state ?dddddd Qui, un automa finito -state ha nodi d , un nodo iniziale, un insieme di nodi che rappresentano gli stati di accettazione e due bordi diretti etichettati 0, 1 che fuoriescono …

12 automata-theory pseudorandomness pseudorandom-generators

1

Riduzione al minimo degli automi a stati finiti residui

Gli automi a stati finiti residui (RFSA, definiti in [DLT02]) sono NFA che hanno alcune belle caratteristiche in comune con i DFA. In particolare, esiste sempre una RFSA canonica di dimensioni minime per ogni lingua regolare e la lingua riconosciuta da ogni stato nella RFSA è un residuo, proprio come …

12 cc.complexity-theory ds.algorithms automata-theory lg.learning minimization

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 …

12 reference-request co.combinatorics fl.formal-languages automata-theory research-practice

1

Il costo di una query di equivalenza per DFA

Ispirato da questa domanda , sono curioso di sapere quanto segue: Qual è la complessità peggiore nel verificare se un determinato DFA accetta la stessa lingua di una determinata espressione regolare? Questo è noto? La speranza è che questo problema sia in P - che esista un algoritmo polinomiale delle …

12 automata-theory lg.learning regular-expressions dfa

2

Automi finiti non deterministici minimi non isomorfi

Qualcuno può fornire un esempio di due automi non deterministici minimi (NFA) equivalenti (riconoscendo la stessa lingua) che non sono isomorfi?

12 fl.formal-languages automata-theory

2

Espressività di Büchi vs CTL (*)

Qual è la relazione tra l'espressività di LTL , Büchi / QPTL , CTL e CTL * ? Puoi fornire alcuni riferimenti che coprono il maggior numero possibile di queste logiche temporali (specialmente tra tempo lineare e tempo di ramificazione)? Un diagramma di Venn con quelle logiche temporali e alcune …

12 lo.logic automata-theory model-checking temporal-logic

2

Gli automi multipebble possono decidere tutti i linguaggi deterministici sensibili al contesto?

Un MPA (automa multipebble) è un 2DFA (automa finito deterministico a due vie) che può usare un numero arbitrario di ciottoli (in realtà al massimo ciottoli su un dato input - l'input è scritto sul nastro tra due estremità -marker come ). Durante il calcolo, un MPA può rilevare se …

12 cc.complexity-theory reference-request automata-theory space-bounded

3

DFA minimo che soddisfa una visione limitata di una lingua

Supponiamo che uno abbia una lingua L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^* , ma non si sa quali stringhe fanno effettivamente parte della lingua. Tutto ciò che si ha è una visione finita della lingua: una serie finita di stringhe A⊆LA⊆LA \subseteq L che sono note per essere nella lingua, e una serie …

12 cc.complexity-theory fl.formal-languages automata-theory

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 …

12 fl.formal-languages automata-theory

2

Una determinata lingua normale contiene un sottoinsieme infinito senza prefisso?

Una serie di parole su un alfabeto finito è priva di prefisso se non ci sono due parole distinte in cui una è un prefisso dell'altra. La domanda è: Qual è la complessità del controllo se una lingua normale indicata come NFA contiene un sottoinsieme infinito senza prefisso? Risposta (grazie …

11 fl.formal-languages automata-theory prefix-free-code nfa

3

Esistono prove non costruttive dell'esistenza di "piccole" macchine di Turing / NFA?

Dopo aver letto una domanda correlata , sulle prove di esistenza non costruttive degli algoritmi, mi chiedevo se ci sono metodi per mostrare l'esistenza di macchine di calcolo "piccole" (diciamo, per quanto riguarda lo stato) senza effettivamente costruirlo. formalmente: supponiamo che ci venga dato un po 'di linguaggio e risolto …

11 cc.complexity-theory automata-theory turing-machines

1

Gli automi alternati unidirezionali con un contatore possono riconoscere alcune lingue unarie non regolari?

Gli automi pushdown alternati unidirezionali (1APDA) sono in grado di riconoscere qualsiasi lingua in (Alternation di Chandra, Kozen e Stockmeyer, 1981) . Sostituendo una memoria pushdown di 1APDA con un contatore, possiamo ottenere un automa alternato unidirezionale con un contatore (1ACA). La mia domanda riguarda 1ACA sulle lingue unarie.DTIME(2O(n))DTIME(2O(n)) DTIME(2^{O(n)}) …

11 automata-theory counter-automata unary-languages

1

Quali algoritmi esistono per la costruzione di un DFA che riconosce il linguaggio descritto da una data regex?

Tutti i miei libri di testo usano lo stesso algoritmo per produrre un DFA dato una regex: in primo luogo, crea un NFA che riconosca il linguaggio della regex, quindi, usando la costruzione del sottoinsieme (aka "powerset"), converti l'NFA in un DFA equivalente ( ridurre al minimo il DFA). Una …

11 automata-theory regular-expressions dfa

Domande taggate «automata-theory»