Đây là lệnh thana.bin có thể được chạy trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks bằng cách sử dụng một trong nhiều máy trạm trực tuyến miễn phí của chúng tôi như Ubuntu Online, Fedora Online, trình giả lập trực tuyến Windows hoặc trình giả lập trực tuyến MAC OS
CHƯƠNG TRÌNH:
TÊN
thana.bin - một trình biên dịch đa năng từ các ngôn ngữ hành động để trả lời các chương trình thiết lập
SYNOPSIS
thana.bin [tùy chọn]hồ sơ
MÔ TẢ
Trang hướng dẫn sử dụng này tài liệu ngắn gọn về thana.bin chỉ huy.
thana.bin là một trình biên dịch đa năng từ các ngôn ngữ hành động đến các chương trình tập hợp câu trả lời. Nó
hỗ trợ các mã hóa, biến và truy vấn kiểu LTL khác nhau. Nó dịch một hành động
ngôn ngữ thành một chương trình logic dưới ngữ nghĩa bộ câu trả lời. Sau khi được tiếp đất bởi
phân tích or gringo, chương trình logic có thể được giải bởi một trình giải bộ câu trả lời như kẹp.
Tại thời điểm này thana.bin có thể dịch ngôn ngữ hành động AL, B, C, một tập hợp con của C +
và ngôn ngữ hành động CTAID. Loại ngôn ngữ đầu vào có thể được chỉ định bằng một lệnh
tùy chọn dòng.
LỰA CHỌN
Các chương trình này tuân theo cú pháp dòng lệnh GNU thông thường, với các tùy chọn dài bắt đầu bằng
hai dấu gạch ngang (`- '). Dưới đây là một bản tóm tắt các tùy chọn. Để có một mô tả đầy đủ,
xem hướng dẫn potassco.
-NS, --Cứu giúp
Hiển thị tóm tắt các tùy chọn.
Sử dụng thana.bin trực tuyến bằng các dịch vụ onworks.net