이것은 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 제공업체에서 실행할 수 있는 명령 dfg2dfg입니다.
프로그램:
이름
dfg2dfg - 문제의 근사값 계산
개요
dfg2dfg [-혼] [-모나딕] [-선형] [-얕은] [인파일] [아웃파일]
기술
dfg2dfg DFG 구문의 입력 파일에서 절을 읽는 프로그램입니다. 그 다음
명령줄 옵션에 따라 절 집합의 근사치를 계산합니다.
마지막으로 DFG 구문에 설정된 근사절을 파일에 씁니다.
둘 다 인파일 ...도 아니다 아웃파일 주어진다, dfg2dfg 표준 입력에서 읽고 쓰기
표준 출력. 하나의 파일 이름이 주어지면 해당 파일에서 읽고 출력을 씁니다.
표준 출력으로. 둘 이상의 파일 이름이 제공되는 경우, dfg2dfg 처음부터 읽는다
파일을 만들고 두 번째 파일에 씁니다.
근사치는 별도의 문서에 기술적으로 자세히 설명되어 있습니다. dfg2dfg.ps
SPASS 배포판에 포함됩니다.
옵션
dfg2dfg 결합할 수 있는 네 가지 명령줄 옵션이 있습니다.
-뿔
이 옵션을 사용하면 비혼 절을 혼 절로 변환할 수 있습니다. 각
비뿔 절 n 양수 리터럴은 다음으로 변환됩니다. n 경적 절, 여기서
i-th 절에는 다음이 포함됩니다. i-th 양수 리터럴 및 비의 모든 음수 리터럴
경적 절. 문서의 섹션 3도 참조하십시오.
-모나딕[=n]
이 옵션을 사용하면 모나딕이 아닌 술어 기호가 있는 원자가 모나딕으로 변환됩니다.
원자. 만약 n 생략되거나 n=1 용어 인코딩이 적용됨, 즉 모든 비모나딕
술어는 용어 레벨로 이동됩니다. 와 함께 n=2 투영이 적용됩니다. 모든 비
모나딕 원자는 모나딕 인수 투영으로 대체됩니다. 섹션 4.1 참조
자세한 내용은 문서의 섹션 4.2를 참조하십시오.
-선의
이 근사는 모나딕 리터럴 및 비선형 변수가 있는 절을 변환합니다.
후속 원자에서 발생, 더 부정적인 가능성이 있는 새 절로
리터럴, 연속된 비선형 변수를 포함하지 않습니다. 섹션 참조
자세한 내용은 5장.
-얕다[=n]
이 변환은 양의 리터럴에서 용어의 깊이를 줄이려고 합니다. NS
변환은 모나딕 리터럴이 있는 혼 절에만 적용됩니다. 만약에 n 생략
or n=1 엄격한 변환이 적용되지만 이는 등가 보존입니다.
럭셔리 n=2 일부 전제 조건이 제거되었습니다. 이렇게 하면 변환을 적용할 수 있습니다.
더 자주, 그러나 변환은 더 이상 동등성을 유지하는 것이 아닙니다. 을위한 n=3
더 많은 전제 조건이 제거됩니다. 6절을 보십시오.n 를 위한 종이의
명령줄 옵션의 세부 정보 -모나딕=n.
onworks.net 서비스를 사용하여 온라인으로 dfg2dfg 사용