問題タブ [pushdown-automaton]

決定論的プッシュダウン オートマトンをチューリング マシンに変換する方法はありますか? テープの入力の後に「#」を挟んでスタックを置くことを考えました。しかし、それを正式に証明するのはちょっと不可能のようです。

何か提案はありますか？誰かがすでにそれをしましたか？

ありがとうございました

私は別の pda デバイスを持っています。AndroidフォンとPDAが同じ無線ルーターに接続されています。ファイル名がわかれば、pda からファイルを読み取ることができます。現在、pda に「reports」というフォルダーがあります。pdaで生成されたレポートをユーザーがクリックするとwebviewで開くように、レポートフォルダー内のすべてのファイルを表示する必要があります。

http://192.168.0.3/reportsがあるとしましょう 。私は動作していないように見える Android の File クラスでいくつかのことを試しました。

できれば助けてください。ありがとう

サーバー、デスクトップ、PDA (タブレット、携帯電話など) など、要求を行うために使用されたコンピューターの種類を (JAVA で) 識別できるかどうかを知りたいです。

ありがとうございました！

テキストのさらに下にあるアンカーへのリンクに置き換えたい参照がいくつかあります。リンクは非常に規則的な形式であるため、少なくともスクリプトを使用すると、非常に実行可能になるはずです。

参照「[44]」は、次の html コードに置き換える必要があります: [<a href="ref44">44</a>].

それは簡単です。後方参照による単純な置換。しかし、次のものを同様のリンクに変換できる正規表現 (vim 方言、python、または ... perl が必要な場合。恐ろしい!) はあります[44,45,77,91]か? つまり、番号ごとに 1 つのリンクであり、リンクのグループは一対の角括弧で囲まれています。

これには (理論的には無制限の) メモリが含まれるため、FSM と 1:1 でマッピングされません。そのため、正規表現ではなく、ある種のプッシュダウン オートマトンで処理する必要がありますが、方言によってははるかに強力なため、. ..

PDAグラフの矢印がわかりません...

、などのよう((((()))))に括弧がネストされたすべての文字列を受け入れるPDAがあります。最初の状態にはループする矢印があり、これの動作は として記述されている2つの状態があります。(())((()))(,ε/(

(私が見ることができたのは、スタックの一番上に ε がある場合、この説明は記号を受け入れ、ある場合はεに置き換えられるということ(です。

したがって、スタックが最初に次のように見えた場合:
ε

現在は次のようになっています。
(ε

がスタックの一番上になく(ても、このループ矢印がすべての記号を受け入れ続けるにはどうすればよいでしょうか?ε