SALOMAA K について
Univ. Turku, Turku, FIN について
Journal of Information Processing and Cybernetics について
書換え規則 について
オートマトン理論 について
項書換システム について
合流 について
グラウンド について
TOP
BOTTOM