補足がワンカウンターである、厳密に非決定的なワンカウンター言語はありますか？

してみましょう $A= \{L \mid L \;\text{is one-counter and $\bar{L}$ is also one-counter} \}$

明らかに、 $\text{Deterministic one-counter} \subseteq A$

その場合である $A = \text{Deterministic one-counter}$ ？

文脈自由言語の場合、アナログはそうではないことを知っています。たとえば、 $P =\{ ww^r\}$ ます。その後、両方の $P$ と $\bar{P}$ 文脈自由ですが、 $P$ 確定的ではありません。したがって、 $A$ は文脈自由言語の（厳密な）サブセットを定義します。

問題は、同じことが当てはまる同様の1カウンターの例を構築できるかどうかです。

formal-languages automata closure-properties pushdown-automata

— e_noether
ソース

「ワンカウンター」とは？

— Ran G.

スタック上に1種類のシンボルのみ（下部のシンボルを除く）があるPDA。

— frafl 2013年

あなたは何を意味するか

？

x_{⌊ | c | / 2 ⌋} = a

$x_{\lfloor|c|/2\rfloor}=a$

— e_noether 2013年

@emmy：どのように（非決定性）1CMが決めるだろう

？

\bar{L}

$\overline{L}$

— Shaull

@emmy：メールで送信、タイプミス：私はもちろん意味

すなわちにおけるシンボル

番目の位置。

x_{⌊ x / 2 ⌋}

$x_{\lfloor x/2\rfloor}$

⌊ x / 2 ⌋

$\lfloor x/2\rfloor$

— frafl 2013年

-1

上記のShaullのコメントに応じて：ここに画像の説明を入力してください

1つ目は、受け入れる1カウンターのイメージです。 $a^ib^j$ $j<i$

2番目は、1カウンターが受け入れるイメージです $a^ib^j$ $j>i,\ j<2i$

3つ目は、受け入れる1カウンターのイメージです。 $a^ib^j$ $j>2i$

ここで、a /-/ plusは、カウンタ値に関係なく、aを参照してカウンタをインクリメントすることを意味します。b /> 1？/ subはbを参照することを意味し、カウンター値が1より大きい場合、カウンターをデクリメントします。

nop =>操作なし

$\lambda$

— e_noether
ソース

i

$i$

j

$j$

ええ:) 1カウンターのオートマトンで実行できることを証明したかっただけです

— e_noether

特に良い演習の場合は、少し詳しく説明してもかまいませんが、短い要約を追加してください。また、コメントへの回答には回答を使用しないでください。この場合、この回答が実際の質問の回答となる可能性がありますので、大丈夫だと思います。

— frafl 2013年

残念ながら、ここに証明はありません。

— ラファエル