Это команда dfg2dfg, которую можно запустить в провайдере бесплатного хостинга OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
dfg2dfg - вычислить приближения задач
СИНТАКСИС
dfg2dfg [-роговой] [-монадический] [-линейный] [-мелкий] [вводить] [Outfile]
ОПИСАНИЕ
dfg2dfg это программа, которая читает предложения из входного файла в синтаксисе DFG. Тогда это
вычисляет аппроксимацию набора предложений в зависимости от параметров командной строки.
Наконец, он записывает приближенное предложение, установленное в синтаксисе DFG, в файл.
Если ни вводить ни Outfile даны, dfg2dfg читает со стандартного ввода и записывает в
стандартный вывод. Если указано одно имя файла, он читает из этого файла и записывает вывод
на стандартный вывод. Если указано более одного имени файла, dfg2dfg читает с первого
файл и записывает во второй.
Приближения подробно описаны в отдельной статье. dfg2dfg.ps
входит в дистрибутив SPASS.
ДОПОЛНИТЕЛЬНЫЕ УСЛУГИ, НЕ ВКЛЮЧЕННЫЕ В ПАКЕТ
dfg2dfg имеет четыре различных параметра командной строки, которые можно комбинировать.
-горн
Эта опция включает преобразование нестроговых предложений в роговые предложения. Каждый
некорноговая оговорка с n положительные литералы преобразуются в n роговые оговорки, где
i-е предложение содержит i-й положительный литерал и все отрицательные литералы не-
оговорка о роге. См. Также раздел 3 статьи.
-монадический [= n]
С помощью этой опции атомы с немонадическими предикатными символами преобразуются в монадические
атомы. Если n опущено или n= 1 применяется кодирование термина, т. Е. Все немонадические
предикаты перемещаются на уровень терминов. С участием n= 2 применяется проекция. Все не-
монадические атомы заменяются их монадическими проекциями аргументов. См. Раздел 4.1.
раздел 4.2 статьи для более подробной информации.
-линейного
Это приближение преобразует предложение с монадическими литералами и нелинейной переменной
вхождения в последующих атомах, в новое предложение с возможно более отрицательным
литералы, не содержащие в преемнике нелинейных переменных. См. Раздел
5 статьи для подробностей.
-shallow [= n]
Это преобразование пытается уменьшить глубину терминов в положительных литералах. В
преобразование применяется только к роговым предложениям с монадическими литералами. Если n опущено
or n= 1 применяется строгое преобразование, но с сохранением эквивалентности.
Что касается n= 2 некоторые предварительные условия удалены. Это позволяет применить преобразование
чаще, но преобразование уже не сохраняет эквивалентность. Для n=3
снимается еще больше предварительных условий. Взгляните на раздел 6.n бумаги для
подробные сведения о параметре командной строки -монадический = п.
Используйте dfg2dfg в Интернете с помощью сервисов onworks.net