Це команда dfg2dfg, яку можна запустити в постачальнику безкоштовного хостингу OnWorks за допомогою однієї з наших численних безкоштовних робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн емулятор Windows або онлайн емулятор MAC OS
ПРОГРАМА:
ІМ'Я
dfg2dfg - обчислення апроксимації задач
СИНТАКСИС
dfg2dfg [-рог] [-монадичний] [-лінійний] [-дрібний] [infile] [вихідний файл]
ОПИС
dfg2dfg це програма, яка читає речення з вхідного файлу в синтаксисі DFG. Це тоді
обчислює апроксимацію набору пропозицій залежно від параметрів командного рядка.
Нарешті, він записує у файл приблизний набір речення в синтаксисі DFG.
Якщо ні infile ні вихідний файл дані, dfg2dfg читає зі стандартного введення та записує
стандартний вихід. Якщо вказано одне ім’я файлу, він читає з цього файлу та записує вихідні дані
на стандартний вихід. Якщо вказано більше одного імені файлу, dfg2dfg читається з першого
файл і записує в другий.
Наближення детально описані в окремій статті dfg2dfg.ps
включено в дистрибутив SPASS.
ВАРІАНТИ
dfg2dfg має чотири різні параметри командного рядка, які можна комбінувати.
-ріг
Ця опція дозволяє трансформувати речення, що не є роговими, у речення рогівки. Кожен
не роговий пункт с n позитивні літерали перетворюється на n рогові речення, де
i-й пункт містить i-й позитивний літерал і всі негативні літерали не-
рога застереження. Дивіться також розділ 3 статті.
-монадичний[=n]
За допомогою цієї опції атоми з немонадичними предикатними символами перетворюються на монадні
атоми. Якщо n опущено або n=1 застосовується кодування термінів, тобто всі немонадні
предикати переміщуються на рівень термінів. З n=2 застосовується проекція. всі не-
монадні атоми замінюються їх проекціями монадного аргументу. Див. розділ 4.1
Розділ 4.2 статті для більш детальної інформації.
-лінійна
Ця апроксимація перетворює речення з монадичними літералами та нелінійною змінною
входження в наступні атоми, в нове речення з, можливо, більш негативним
літералів, який не містить жодних нелінійних змінних у наступному. Див. розділ
5 статті для деталей.
-мілко[=n]
Це перетворення намагається зменшити глибину термінів у позитивних літералах. The
трансформація застосовується лише до рогових речень з монадичними літералами. Якщо n опущено
or n=1 застосовується суворе перетворення, яке, однак, зберігає еквівалентність.
для n=2 деякі передумови видалено. Це дозволяє застосувати трансформацію
частіше, але перетворення більше не є збереженням еквівалентності. Для n=3
ще більше передумов усувається. Перегляньте розділ 6.n паперу для
деталі параметра командного рядка -монадичний=n.
Використовуйте dfg2dfg онлайн за допомогою служб onworks.net
