Đây là lệnh abl 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 mô phỏng trực tuyến MAC OS
CHƯƠNG TRÌNH:
TÊN
abl - Biểu diễn tiền tố cho các hàm boolean
MÔ TẢ
libabmmmm.a là một thư viện cho phép biểu diễn một hàm boolean ở dạng giống như LISP.
ABL là một đại diện nội bộ có tiền tố cho một hàm boolean có tiêu chuẩn
toán tử OR, NOR, NAND, XOR, NOT và AND. Một ABL chỉ được tạo thành từ các bộ đôi. Một đôi là
bao gồm hai trường mà chức năng có thể truy cập được #định nghĩa XE HƠI và CDR. Một
doublet được triển khai bằng MBK danh sách chuỗi.
Biểu hiện là thuật ngữ chung cho một hàm boolean được đại diện bởi ABL. Một biểu thức
có thể là một biểu thức nguyên tử hoặc một biểu thức toán tử. Chức năng f = a được đại diện
bằng một biểu thức nguyên tử trong khi f = (Hoặc a b) được biểu diễn bằng một biểu thức toán tử. Một
biểu thức nguyên tử được tạo thành từ một nhân đôi duy nhất có TIẾP THEO con trỏ bằng NULL và
DỮ LIỆU con trỏ bằng con trỏ định danh. Một biểu thức nguyên tử không đổi là một nguyên tử
biểu thức có chuỗi "'0'" hoặc "'1'" làm định danh.
Một biểu thức toán tử phức tạp hơn một biểu thức nguyên tử. Đó là một danh sách của
các mục, mục đầu tiên là toán tử head của biểu thức và các mục sau là
các đối số của biểu thức. Có thể vượt qua các đối số bằng cách gọi
chức năng #định nghĩa CDR. Sau đó, mỗi đối số có thể truy cập bởi hàm #định nghĩa XE HƠI.
Một đối số có thể là đệ quy một nguyên tử hoặc một biểu thức toán tử. Sự hiếm có của một
biểu thức toán tử là số đối số của cấp đầu tiên.
Các hàm được chia thành hai nhóm, các hàm cấp thấp được viết bằng #định nghĩa
và được sử dụng để quản lý biểu mẫu nội bộ ABL, các chức năng cấp cao được sử dụng để quản lý
các biểu thức boolean. Tất cả các chức năng được xác định trong tệp "prefbib.c" (#định nghĩa in
"logmmm.h").
Chức năng #định nghĩa
ATOM - kiểm tra kiểu của một biểu thức (nguyên tử hoặc biểu thức toán tử).
XE HƠI - trả về DỮ LIỆU con trỏ của một doublet.
CADR - trả về DỮ LIỆU con trỏ của TIẾP THEO con trỏ của một doublet.
CDR - trả về TIẾP THEO con trỏ của một doublet.
VẬN HÀNH - trả về số toán tử của một biểu thức toán tử.
VALUE_ATOM - trả về liên kết xe tăng * của một biểu thức nguyên tử.
Chức năng và thủ tục
thêmHExpr - thêm một đối số mới vào đầu biểu thức toán tử.
thêmQExpr - thêm một đối số mới vào hàng đợi của một biểu thức toán tử.
bất kỳExpr - trả về giá trị của một OR logic được áp dụng trên các kết quả của
ứng dụng của một hàm trên các đối số của một biểu thức toán tử.
thay đổiOperExpr - thay đổi toán tử của phần đầu của một biểu thức.
charToOper - chuyển đổi một chuỗi toán tử thành một số toán tử.
sao chépExpr - sao chép một biểu thức.
tạoAtom - tạo biểu thức nguyên tử.
tạoBinExpr - tạo một biểu thức toán tử nhị phân với sự hợp nhất cuối cùng của
nhà điều hành.
tạoExpr - tạo phần đầu của một biểu thức toán tử.
xóaNumExpr - loại bỏ đối số thứ i trong một biểu thức toán tử.
devXor2Expr - chuyển đổi XOR 2 thành OR-AND.
devXorExpr - loại bỏ XOR trong một biểu thức.
hiển thịExpr - hiển thị một biểu thức trong một ký hiệu tiền tố.
hiển thịInfExpr - hiển thị một biểu thức dưới dạng ký hiệu được ghi sẵn.
bằngExpr - Kiểm tra xem hai biểu thức có hoàn toàn bằng nhau không.
bằngVarExpr - kiểm tra xem hai biểu thức có bằng nhau về mặt cú pháp hay không.
mọiExpr - trả về giá trị của một AND logic được áp dụng trên các kết quả của
ứng dụng của một hàm trên các đối số của một biểu thức toán tử.
exprToChar - Chuyển đổi một biểu thức thành một chuỗi.
charToExpr - Chuyển đổi một chuỗi thành một biểu thức.
phẳngArityExpr - làm phẳng các toán tử của một biểu thức.
phẳngCựcExpr - dịch các nghịch đảo của một biểu thức sang cấp độ nguyên tử
biểu thức.
miễn phíExpr - giải phóng một biểu thức.
IdentExpr - đưa ra một định danh từ một biểu thức toán tử.
chiều dàiExpr - trả về số lượng đối số trong một biểu thức.
bản đồXe hơiExpr - tạo một biểu thức mới bằng cách áp dụng một hàm cho tất cả các đối số của
một biểu thức toán tử.
bản đồExpr - áp dụng một thủ tục cho tất cả các đối số của một biểu thức toán tử.
maxExpr - trả về đối số cao nhất của một biểu thức toán tử.
tối thiểuExpr - trả về đối số thấp nhất của một biểu thức toán tử.
NormExpr - chuẩn hóa một biểu thức.
khôngExpr - bổ sung cho một biểu thức và cuối cùng thực hiện một đơn giản hóa.
sốAtomExpr - trả về số nguyên tử trong một biểu thức.
sốOccExpr - trả về số lần một nguyên tử xuất hiện trong một biểu thức.
sốOperBinExpr - trả về số lượng toán tử nhị phân tương đương trong một biểu thức.
toán tửToChar - chuyển đổi một số toán tử thành một chuỗi toán tử.
proExpr - trả về độ sâu của một biểu thức.
giáo sưAOExpr - trả về độ sâu của một biểu thức mà không cần sử dụng bộ đảo
tài khoản.
tìm kiếmExpr - tìm kiếm một nguyên tử cụ thể trong một biểu thức.
tìm kiếmNumExpr - tìm nạp đối số thứ i trong một biểu thức toán tử.
tìm kiếmOperExpr - tìm kiếm toán tử trong một biểu thức.
simplef10Expr - thực hiện đơn giản hóa một biểu thức bao gồm nguyên tử không đổi
biểu thức.
simplefNotExpr - thực hiện đơn giản hóa một biểu thức bao gồm cả bộ nghịch lưu.
sắp xếpExpr - sắp xếp một biểu thức.
thếExpr - sao chép một biểu thức bằng cách thay thế một nguyên tử đã cho bằng một biểu thức.
thay thếPhyExpr - thay thế một biểu thức nguyên tử bằng một biểu thức trong một
biểu hiện.
hỗ trợChain_listExpr
- trả về hỗ trợ của một biểu thức trong một danh sách chuỗi.
hỗ trợPtype_listExpr
- trả về hỗ trợ của một biểu thức trong một danh sách ptype_list.
wPMExpr - trả về 1 nếu có thể khớp mẫu giữa hai
biểu thức.
Sử dụng abl trực tuyến bằng các dịch vụ onworks.net
