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