これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、または MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの 2 つを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド dfgXNUMXdfg です。
プログラム：
NAME
dfg2dfg - 問題の近似値を計算する
SYNOPSIS
dfg2dfg [-horn] [-monadic] [-linear] [-shallow] [ファイル内] [アウトファイル]
DESCRIPTION
dfg2dfg は、DFG 構文の入力ファイルから句を読み取るプログラムです。 それなら
コマンドラインオプションに応じて句セットの近似値を計算します。
最後に、DFG 構文で設定された近似句をファイルに書き込みます。
どちらでもない場合 ファイル内 また アウトファイル 与えられ、 dfg2dfg 標準入力から読み取り、書き込みます。
標準出力。 XNUMX つのファイル名が指定されている場合、そのファイルから読み取り、出力を書き込みます。
標準出力に。 複数のファイル名を指定した場合、 dfg2dfg 最初から読む
ファイルを作成し、XNUMX 番目のファイルに書き込みます。
近似については、別の文書で技術的に詳細に説明されています。 dfg2dfg.ps
SPASS ディストリビューションに含まれています。
OPTIONS
dfg2dfg には、組み合わせることができる XNUMX つの異なるコマンド ライン オプションがあります。
-ホーン
このオプションを使用すると、非ホーン句をホーン句に変換できます。 各
ノンホーン節付き n 正のリテラルは次のように変換されます n ホーン節、ここで
i-th 句には、 i- 番目の正のリテラルと、非
ホーン節。 この論文のセクション 3 も参照してください。
-モナディック[=n]
このオプションを使用すると、非モナディック述語記号を持つアトムがモナディックに変換されます。
原子。 場合 n 省略または n=1 項エンコーディングが適用されます。つまり、すべて非モナディックです。
述語は用語レベルに移動されます。 と n=2 投影が適用されます。 すべて非
モナドアトムは、モナド引数射影に置き換えられます。 セクション 4.1 を参照してください
詳細については、この文書のセクション 4.2 を参照してください。
-線形
この近似は、モナド リテラルと非線形変数を含む句を変換します。
後続のアトムでの出現を、より否定的な可能性のある新しい節に追加
リテラル。後続に非線形変数が含まれていません。 セクションを参照
詳細については、論文の 5 を参照してください。
-浅い[=n]
この変換は、正のリテラルの用語の深さを減らそうとします。 の
変換は、モナディック リテラルを持つホーン句にのみ適用されます。 もしも n 省略
or n=1 ただし、等価性を維持する厳密な変換が適用されます。
n=2 いくつかの前提条件が削除されます。 これにより、変換を適用できるようになります
しかし、変換はもはや等価性を保持しません。 ために n=3
さらに多くの前提条件が削除されます。 セクション 6 を見てください。n の紙の
コマンドラインオプションの詳細 -モナディック=n.
onworks.net サービスを使用してオンラインで dfg2dfg を使用する
