D. Truyền tham số dạng biến toàn cục
THUẬT NGỮ CHUYÊN NGÀNH
5. Ngữ nghĩa biểu thị
THUẬT NGỮ CHUYÊN NGÀNH
programming language: ngôn ngữ lập trình machine language:ngôn ngữ máy
sub-program hay sub-routine:kỹ thuật chương trình con library:thư viện chương trình
assembly:hợp ngữ
assembler:giai đoạn hợp dịch
FORmula TRANslator:ngôn ngữ FORTRAN ALGOrithmic Language:ngôn ngữ ALGOL 60
Common Business Oriented Language:ngôn ngữ COBOL low-level language:ngôn ngữ bậc thấp
high-level language:ngôn ngữ bậc cao paradgm:phương thức
instruction:lệnh
memory allocation:cấp phát bộ nhớ procedural language: ngôn ngữ thủ tục
object-oriented language:ngôn ngữ hướng đối tượng functional language:ngôn ngữ hàm
distributed programming:lập trình phân bổ constraint programming:lập trình ràng buộc
access-oriented programming:lập trình hướng truy cập dataflow programming:lập trình theo luồng dữ liệu operational:ngôn ngữ thao tác
non-declarative:không khai báo neural networks:mạng nơ-ron longint:số nguyên dài hai từ nhớ writability:Tính dễ viết
readability:Tính dễ đọc reliability:Tính tin cậy mybuffer:biến xâu function: hàm procedure:thủ tục
global variable:biến toàn cục local variable:biến cục bộ recursivity:đệ quy
syntax:cú pháp
terminal symbols:các ký hiệu kết thúc
nonterminal symbols:các ký hiệu chưa kết thúc variable: biến
production:luật sinh
parsing tree:cây phân tích cú pháp Backus-Naur Form:chuẩn Backus-Naur top down:trên xuống
bottom-up:dưới lên
backtracking:khả năng quay lui stack:ngăn xếp
semantic:mặt ngữ nhĩa
axiomatic semantics:ngữ nghĩa tiên đề denotationnal semantics:ngữ nghĩa biểu thị semantic function:hàm ngữ nghĩa
semantic domain:miền cú pháp literal constant:Hằng trực kiện object orientation:hướng đối tượng object:đối tượng
message: thông điệp method:phương thức
Object-Oriented Programming:Lập trình hướng đối tượng Abstraction:Trừu tượng hóa
state:trạng thái behavior:hành động
member function:hàm thành viên instance:thể hiện
blueprint:bảng thiết kế prototype:mẫu ban đầu blueprint:thiết kế
class attribute:thuộc tính lớp class methods:phương thức lớp parameter:tham số
Encapsulation:Tính bao gói Inheritance:Tính thừa kế Subclass:lớp con
Superclass:lớp cha
information hiding:che giấu thông tin Polymorphism:Tính đa hình
Relation:mối quan hệ Horn clause:mệnh đề Horn Rule:luật Fact:sự kiện Question:câu hỏi Knowledge: tri thức Predicat:vị từ logic atom:nguyên tử
elementary term:hạng sơ cấp constant:hằng literal:trực kiện compound term:hạng phức hợp comment:chú thích substitution :sử dụng phép thế bound :ràng buộc
recursive rule :luật đệ quy ancesto :quan hệ tổ tiên
anonymous variable:biến vô danh
irst order predicate logic:công thức logic vị từ bậc một resolution:hợp giải
functional programing language:ngôn ngữ lập trình hàm arguments hay parameters:tham đối
boolean:kiểu logic exception :ngoại lệ
Propagating an exception:Lan truyền một ngoại lệ Propagated:được truyền
dynamic chain:chuỗi động remain:kế thừa
source program:chương trình nguồn
executable program;chương trình thực hiện source language:ngôn ngữ nguồn
compiler:Trình biên dịch interprete:Trình thông dịch preprocessor:bộ tiền xử lý executable:thực thi được
assembly code:mã lệnh hợp ngữ assembler:trình dịch hợp ngữ symbol table:Bảng ký hiệu parse:cú pháp
Predictive parsing:Phân tích cú pháp dự đoán Token: từ tố
Lexeme:trị từ vựng Keyword:từ khóa
producer – consumer:nhà sản xuất - người tiêu dùng buffer:bộ đệm