オートマトンはπ計算に相当しますか？

チューリングマシンがオートマトンと同等の場合 $\lambda$ 微積分、オートマトンに相当するものは何ですか $\pi$ 微積分？それは、チューリングマシンに似たある種のオートマトンであると思いますが、通信チャネルまたは特定のタイプの信号をサポートしていますが、確信が持てず、方向性を高く評価します。

— ブルーボンバー
ソース

（ラベル付けされた）遷移システムは、通常、同等であると考えられていると思います。ここではアクセプターを作成しないため、従来のオートマトン/言語理論は実際には適用されません。

— ラファエル

@ラファエル、2番目の文について詳しく説明していただけますか？

— BlueBomber 2013

@BlueBomber質問をもう少し詳しく説明できますか？TMはどのような意味で「オートマトン

λ

$\lambda$ -微積分」？表現力？それから

π

$\pi$ -微積分はと同じです

λ

$\lambda$ -微積分とTM。相互作用のためのチャネルを持つオートマトンはプロセス計算です。

— Martin Berger

@Martin Berger、私たちは大学でラムダ計算とチューリングマシンが計算能力に関して同等であることを学習しました。これはおそらく表現力で参照しているものですが、私が言っていることではありません。私の知る限り、ラムダ計算でもチューリングマシンでも、「続行する前にチャネルcで信号を待つ」ことを表現する方法はありません。パイ計算にはそれがあり、現代のコンピューターもそうです（そして、それが必ずしも正式な意味でのシステムのパワー/表現力を高めるわけではないことを理解しています）。

— BlueBomber 2013

@BlueBomber この質問への回答で指摘したように、チューリングマシンはチャネルの待機を表現できますが、モデリングは不便になる傾向があります。たとえば、チャネル、信号などをテープに置く特定の文字列としてエンコードする必要があります。より便利にしたい場合は、必要な機能を明示的にモデル化する計算に移動する必要があります。たとえば、相互作用するTM、CCS、CSP、

π

$\pi$ 結石。

— Martin Berger

回答:

-1

質問はあまり意味がありません $\pi$ -calculusは、チューリング完全であると証明されました。言い換えれば、1992年にミルナーが創立して以来、チューリングマシンと同等です。ウィキペディアに参考文献があります。

— vzn
ソース

リンクされた記事で、ラムダ計算がPi計算に埋め込まれていることを読みました。他の方向は言及されていません。

— Falko

-1

チューリングマシンはλ計算に対応し、ケミカルアブストラクトマシンはπ計算に対応します。

基本的に、Chemical Abstract Machineは一連の分子としてモデル化され、各プロセスステップで、分子の一部のサブセットが反応し、反応によって消費され、新しい分子を生成します。

— user10364
ソース

詳細を教えてください。論文へのリンク、または少なくとも論文へのリンク（著者/論文名/雑誌/日付）？ケミカルアブストラクトマシンの機能と、

π

$\pi$ -微積分。

— Wandering Logic

この類推がどのように機能するのかもわかりません。ながら

π

$\pi$ -calculusには、TMと

λ

$\lambda$ -微積分は複雑で拷問的です。

— Martin Berger

@WanderingLogic CHAMの創設論文は、G。ベリーとG.ブードルによるThe Chemical Abstract Machineです。IIRCミルナーは、「プロセスとしての機能」で初めてCHAMを使用して、

π

$\pi$ -微積分。

— Martin Berger