Gibt es eine streng nicht deterministische Ein-Zähler-Sprache, deren Komplement Ein-Zähler ist?


8

Sei EIN={L.L.ist ein Zähler und L.¯ ist auch ein Zähler}}

Es ist klar, dassDeterministischer EinzählerEIN

Ist es der Fall, dass ?EIN=Deterministischer Einzähler

Ich weiß, dass für kontextfreie Sprachen das Analoge nicht der Fall ist. Zum Beispiel sei . Dann sind sowohl als auch kontextfrei, aber ist nicht deterministisch. Daher definiert eine (strenge) Teilmenge der kontextfreien Sprachen.P ˉ P P A.P.={wwr}}P.P.¯P.EIN

Die Frage ist: Können wir ein ähnliches Ein-Zähler-Beispiel konstruieren, für das dasselbe gilt?


2
Was ist "One-Counter"?
Ran G.

1
Ein PDA mit nur einer Art von Symbolen (außer dem unteren Symbol) auf seinem Stapel.
Frafl

1
Was meinst du mit ? x|c|/.2=ein
e_noether

1
@emmy: Wie würde ein (nicht deterministischer) 1CM ? L.¯
Shaull

1
@emmy: Ups, Tippfehler: Ich meinte natürlich dh das Symbol an der ten Position. x / 2 xx/.2x/.2
Frafl

Antworten:


-1

Als Antwort auf Shaulls obigen Kommentar: Geben Sie hier die Bildbeschreibung ein Geben Sie hier die Bildbeschreibung ein

Das erste ist ein Bild eines 1-Zählers, der st akzeptiert j < ieinichbjj<ich

Das zweite ist ein Bild eines 1-Zählers, der st akzeptierteinichbjj>ich, j<2ich

Das dritte ist ein Bild eines 1-Zählers, der st akzeptierteinichbjj>2ich

Hier bedeutet ein / - / plus, dass beim Anzeigen von a unabhängig vom Zählerwert der Zähler erhöht wird. b /> 1? / sub bedeutet beim Sehen von b, dass der Zähler dekrementiert wird, wenn der Zählerwert größer als 1 ist.

nop => keine Operation

λ => leere Zeichenfolge


1
Eine ziemlich lange Antwort, die im Wesentlichen nur "Weil es die Vereinigung von drei Sprachen ist, die jeweils ein Intervall von s relativ zu " ist. ichj
Frafl

1
yeah :) wollte nur beweisen, dass es von 1-Zähler-Automaten gemacht werden kann
e_noether

2
Es ist in Ordnung, ein wenig näher darauf einzugehen, besonders wenn es eine schöne Übung für Sie ist, aber fügen Sie bitte eine kurze Zusammenfassung hinzu. Außerdem sollten Sie keine Antwort verwenden, um auf einen Kommentar zu antworten. In diesem Fall kann diese Antwort jedoch zu einer tatsächlichen Antwort auf Ihre Frage werden. Ich denke, dies ist auch in Ordnung.
Frafl

3
Leider gibt es hier keinen Beweis.
Raphael
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.