Domande taggate «counter-automata»

2
Linguaggi unari riconosciuti da contatori automatici deterministici a due vie
Gli automi deterministici a due vie a un contatore ( 2dca) (Petersen, 1994) sono in grado di riconoscere il seguente linguaggio unario: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Esiste un altro linguaggio unario non banale riconosciuto da 2dca? Si noti che non è ancora noto …
1
Una macchina a due contatori può decidere ?
Può una macchina standard a due contatori ( ) con le seguenti istruzioni:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT decidere la seguente lingua: L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 …
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)}) …
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.