1.9. Semantic Errors


The third type of error is the semantic error. If there is a semantic error in your program, it will run successfully in the sense that the computer will not generate any error messages. However, your program will not do the right thing. It will do something else. Specifically, it will do what you told it to do.
The problem is that the program you wrote is not the program you wanted to write. The meaning of the program (its semantics) is wrong. Identifying semantic errors can be tricky because it requires you to work backward by looking at the output of the program and trying to figure out what it is doing.

Loại lỗi thứ 3 là lỗi về mặt ngữ nghĩa. Nếu có một lỗi ngữ nghĩa trong chươgn trình của bạn, nó sẽ chạy thành công trong trường hợp này máy tính sẽ không đưa ra thông báo nào chung về lỗi. Tuy nhiên, chương trình của bạn sẽ không làm đúng. Nó sẽ làm vài điều khác. Cụ thể, nó sẽ làm cái mà bạn nó làm.
Vấn đề là chương trình bạn đã viết không phải là chương trình mà bạn MUỐN viết. Nghĩa là chương trình (về mặt ý nghĩa) là sai. Xác định lỗi ngữ nghĩa có thể cần "láu cá" bởi vì nó yêu cầu bạn phải làm trở lại bằng cách xem kỹ đầu ra của chương trình và thử tìm ra cái gì đang diễn ra.
References:

http://interactivepython.org/runestone/static/thinkcspy/index.html

Nhận xét

Đăng nhận xét

Bài đăng phổ biến từ blog này

2.7. Operators and Operands - toán tử và toán hạng

Reference: http://interactivepython.org/runestone/static/thinkcspy/SimplePythonData/OperatorsandOperands.html (Các bạn nếu đọc tiếng việt xong thì nhớ vào trang chủ nó mà giải bài tập) Operators  are special tokens that represent computations like addition, multiplication and division. The values the operator works on are called  operands . Các toán tử là những mã đặc biệt thể hiện các phép tính như cộng, nhân và chia. Những giá trị mà toán tử làm việc (tính toán) thì gọi là toán hạng The following are all legal Python expressions whose meaning is more or less clear: Theo những biểu thức Python hợp pháp mà có nghĩa hoặc ít nhiều rõ ràng: 20 + 32 hour - 1 hour * 60 + minute minute / 60 5 ** 2 ( 5 + 9 ) * ( 15 - 7 ) The tokens  + ,  - , and  * , and the use of parenthesis for grouping, mean in Python what they mean in mathematics. The asterisk ( * ) is the token for multiplication, and  **  is the token fo...
Đọc thêm

1.11. Formal and Natural Languages

Natural languages  are the languages that people speak, such as English, Spanish, and French. They were not designed by people (although people try to impose some order on them); they evolved naturally. Formal languages  are languages that are designed by people for specific applications. For example, the notation that mathematicians use is a formal language that is particularly good at denoting relationships among numbers and symbols. Chemists use a formal language to represent the chemical structure of molecules. And most importantly: Ngôn ngữ tự nhiên là ngôn ngữ mà mọi người nói, chẳng hạn như tiếng Anh, tiếng Tây Ban Nha và tiếng Pháp. Họ không được thiết kế bởi người dân (mặc dù mọi người cố gắng áp đặt một số đơn đặt hàng cho họ); Chúng phát triển tự nhiên. Ngôn ngữ chính thức là ngôn ngữ được thiết kế bởi con người cho các ứng dụng cụ thể. Ví dụ, ký hiệu mà các nhà toán học sử dụng là một ngôn ngữ chính thức đặc biệt tốt khi biểu thị các mối quan hệ giữa số v...
Đọc thêm

3.10 Stack diagrams - sơ đồ xếp chồng

Hình ảnh
To keep track of which variables can be used where, it is sometimes useful to draw a stack diagram . Like state diagrams, stack diagrams show the value of each variable, but they also show the function each variable belongs to. Each function is represented by a frame . A frame is a box with the name of a function beside it and the parameters and variables of the function inside it. The stack diagram for the previous example looks like this: Để theo dõi các biến nào có thể được sử dụng ở đâu, đôi khi hữu ích để vẽ sơ đồ ngăn xếp. Giống như sơ đồ trạng thái, biểu đồ ngăn xếp hiển thị giá trị của mỗi biến, nhưng chúng cũng hiển thị chức năng của từng biến. Mỗi hàm được biểu diễn bởi một khung. Khung là một hộp với tên của một hàm bên cạnh nó và các tham số và các biến của hàm bên trong nó. Biểu đồ ngăn xếp cho ví dụ trước đây sẽ như sau: The frames are arranged in a stack that indicates which function called which, and so on. In this example, print_twice was called by cat_twice, a...
Đọc thêm