5熱
1答えて
0熱
2答えて
1熱
1答えて
MilnerのPi Calculusでは、複数のプロセスが同じチャネルから読み込んだときの評価セマンティクスは何ですか?
2熱
1答えて
2つの同じ部分文字列の出現を保証するためにプッシュダウンオートマトンを生成する
2熱
1答えて
0熱
1答えて
UNION演算で確定的コンテキストフリーランゲージ(DCFL)が閉じられないのに対して、コンテキストフリーの言語がユニオンで閉じられているのはなぜですか?
1熱
2答えて
2熱
1答えて
-1熱
1答えて
0熱
1答えて