情報処理学会 第84回全国大会 会期:2022年3月3日~5日 情報処理学会 第84回全国大会 会期:2022年3月3日~5日

1L-05
プログラム逆化のための文脈自由表現の等価関係に基づく項書換え系決定化手法の実装
○熊谷妃美香,西田直樹(名大)
プログラム逆化の先行研究として,決定性条件付き項書換え系 を対象に文法プログラムを用いて逆化し,文脈自由表現の等価性に基づいて決定化する手法がある. 本稿では,この決定化手法の実装を報告する.さらに,実装を用いた実験により決定化手法を評価する.