dfg2dfg - Trực tuyến trên đám mây

CHƯƠNG TRÌNH:

TÊN

dfg2dfg - tính toán gần đúng của bài toán

SYNOPSIS

dfg2dfg [-sừng] [-monadic] [-tuyến tính] [-nông] [trong tập tin] [ô uế]

MÔ TẢ

dfg2dfg là một chương trình đọc các mệnh đề từ một tệp đầu vào theo cú pháp DFG. Sau đó nó
tính toán gần đúng của tập mệnh đề tùy thuộc vào các tùy chọn dòng lệnh.
Cuối cùng, nó ghi mệnh đề gần đúng được đặt theo cú pháp DFG vào một tệp.

Nếu không trong tập tin cũng không ô uế được tặng, dfg2dfg đọc từ đầu vào chuẩn và ghi vào
đầu ra tiêu chuẩn. Nếu một tên tệp được cung cấp, nó sẽ đọc từ tệp đó và ghi đầu ra
đến đầu ra tiêu chuẩn. Nếu có nhiều tên tệp, dfg2dfg đọc từ đầu tiên
tệp và ghi vào tệp thứ hai.

Các giá trị gần đúng được mô tả chi tiết kỹ thuật trong bài báo riêng biệt dfg2dfg.ps
bao gồm trong phân phối SPASS.

LỰA CHỌN

dfg2dfg có bốn tùy chọn dòng lệnh khác nhau có thể được kết hợp.

-sừng
Tùy chọn này cho phép chuyển các mệnh đề không phải còi thành mệnh đề có còi. Mỗi
mệnh đề không sừng với n nghĩa đen tích cực được chuyển thành n mệnh đề sừng, trong đó
imệnh đề -th chứa inghĩa đen -th dương và tất cả các nghĩa đen của từ không
mệnh đề còi. Xem thêm phần 3 của bài báo.

-monadic [= n]
Với tùy chọn này, các nguyên tử có ký hiệu vị từ không phải đơn nguyên được chuyển thành đơn nguyên
các nguyên tử. Nếu n bị bỏ qua hoặc n= 1 mã hóa một cụm từ được áp dụng, tức là tất cả các mã không đơn nguyên
các vị ngữ được chuyển sang cấp độ thuật ngữ. Với n= 2 một phép chiếu được áp dụng. Tất cả không
các nguyên tử đơn nguyên được thay thế bằng các phép chiếu đối số đơn nguyên của chúng. Xem phần 4.1
phần 4.2 của bài báo để biết thêm chi tiết.

-tuyến tính
Phép tính gần đúng này biến đổi một mệnh đề có các ký tự đơn nguyên và biến phi tuyến tính
xuất hiện trong các nguyên tử cứng, thành một mệnh đề mới có thể âm hơn
nghĩa đen, không chứa bất kỳ biến phi tuyến tính nào trong succedent. Xem phần
5 của bài báo để biết chi tiết.

-shallow [= n]
Sự chuyển đổi này cố gắng giảm độ sâu của các thuật ngữ theo nghĩa tích cực. Các
phép biến đổi chỉ được áp dụng cho mệnh đề sừng chỉ có các từ đơn nguyên. Nếu như n bị bỏ qua
or n= 1 một phép biến đổi nghiêm ngặt được áp dụng, tuy nhiên, đó là bảo toàn tương đương.
Trong n= 2 một số điều kiện tiên quyết bị loại bỏ. Điều này cho phép việc chuyển đổi được áp dụng
thường xuyên hơn, nhưng sự chuyển đổi không còn duy trì sự tương đương nữa. Vì n=3
thậm chí nhiều điều kiện tiên quyết hơn bị loại bỏ. Hãy xem phần 6.n của tờ báo cho
chi tiết của tùy chọn dòng lệnh -monadic = n.

Sử dụng dfg2dfg trực tuyến bằng các dịch vụ onworks.net