Khác biệt giữa bản sửa đổi của “Quay lui (khoa học máy tính)”

Nội dung được xóa Nội dung được thêm vào
Ctmt (thảo luận | đóng góp)
n Quay lui đổi thành Quay lui (khoa học máy tính): để cho nó nghe có vẻ thuật ngữ
Ctmt (thảo luận | đóng góp)
Dòng 26:
An alternative to the variable trail is to keep a time stamp of when the last change was made to the variable. The time stamp is compared to the time stamp of a choice point. If the choice point has an associated time later than that of the variable, it is unnecessary to revert the variable when the choice point is backtracked, as it was changed before the choice point occurred.
 
== Ứng dụng ==
The most widespread use of backtracking is in the execution of [[regular expression]]s. For example, the simple pattern "<code>a*a</code>" will fail to match the sequence "a" without backtracking (because, on the first pass the "a" is eaten by the "<code>a*</code>" leaving nothing behind for the remaining "<code>a</code>" to match.)
 
Backtracking is used in the implementation of [[programming language]]s (such as [[Planner programming language|Planner]] and [[Prolog]]) and other areas such as text [[parsing]]. Its use became controversial in [[Artificial Intelligence]] leading to the development of the [[Actor model]].
 
==Ví dụ ==