Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen dfg2dfg komutudur.
Program:
ADI
dfg2dfg - problemlerin yaklaşımlarını hesapla
SİNOPSİS
dfg2dfg [-boynuz] [-monadik] [-doğrusal] [-sığ] [dosyada] [dış dosya]
TANIM
dfg2dfg DFG sözdizimindeki bir girdi dosyasından yan tümceleri okuyan bir programdır. o zaman
komut satırı seçeneklerine bağlı olarak yan tümce kümesinin bir yaklaşımını hesaplar.
Son olarak, DFG sözdiziminde ayarlanan yaklaşık yan tümceyi bir dosyaya yazar.
eğer hiçbiri dosyada ne de dış dosya verilmiştir, dfg2dfg standart girdiden okur ve yazar
standart çıktı. Bir dosya adı verilirse, o dosyadan okur ve çıktıyı yazar.
standart çıktıya. Birden fazla dosya adı verilmişse, dfg2dfg ilkinden okur
dosya ve ikinciye yazar.
Yaklaşımlar ayrı bir belgede teknik ayrıntılarla açıklanmıştır. dfg2dfg.ps
SPAS dağılımına dahil edilmiştir.
SEÇENEKLER
dfg2dfg birleştirilebilecek dört farklı komut satırı seçeneğine sahiptir.
-Boynuz
Bu seçenek, boynuz olmayan tümcelerin korna tümcelerine dönüştürülmesini sağlar. Her biri
boynuz olmayan cümle n pozitif değişmezler dönüştürülür n boynuz cümleleri, burada
i-inci fıkra şunları içerir: i-th pozitif değişmez ve olmayanların tüm negatif değişmezleri
korna cümlesi. Ayrıca makalenin 3. bölümüne bakın.
-monad[=n]
Bu seçenek ile monadik olmayan yüklem sembollerine sahip atomlar monadik hale dönüştürülür.
atomlar. Eğer n atlanır veya n=1 bir terim kodlaması uygulanır, yani tümü monadik olmayan
yüklemler terim düzeyine taşınır. İle birlikte n=2 bir projeksiyon uygulanır. tüm olmayan
monadik atomlar, monadik argüman projeksiyonları ile değiştirilir. Bölüm 4.1'e bakın
Daha fazla ayrıntı için makalenin 4.2 bölümü.
-doğrusal
Bu yaklaşım, bir yan tümceyi monadik değişmezlere ve doğrusal olmayan değişkene dönüştürür
ardıl atomlardaki oluşumlar, muhtemelen daha olumsuz olan yeni bir maddeye
ardılda doğrusal olmayan değişkenler içermeyen değişmez değerler. Bkz. bölüm
Ayrıntılar için kağıdın 5.
-sığ[=n]
Bu dönüşüm, pozitif değişmezlerdeki terimlerin derinliğini azaltmaya çalışır. NS
dönüşüm yalnızca tekli değişmezlere sahip boynuz yan tümcelerine uygulanır. Eğer n atlandı
or n=1 katı bir dönüşüm uygulanır, yani eşdeğerlik korunur.
İçin n=2 bazı ön koşullar kaldırıldı. Bu, dönüşümün uygulanmasına izin verir
daha sık, ancak dönüşüm artık koruyan eşdeğerlik değil. İçin n=3
daha da fazla ön koşul kaldırılır. 6. bölüme bir göz atın.n için kağıdın
komut satırı seçeneğinin ayrıntıları -monadik=n.
onworks.net hizmetlerini kullanarak dfg2dfg'yi çevrimiçi kullanın
