Chuyển bộ gõ


Từ điển Máy Tính - Foldoc Dictionary
reduction strategy



reduction strategy

(theory)   An algorithm for deciding which redex(es) to reduce next. Different strategies have different termination properties in the presence of recursive functions or values.

See string reduction, normal order reduction, applicative order reduction, parallel reduction

Last updated: 1995-05-09




Giới thiệu VNDIC.net | Plugin từ diển cho Firefox | Từ điển cho Toolbar IE | Tra cứu nhanh cho IE | Vndic bookmarklet | Học từ vựng | Vndic trên web của bạn

© Copyright 2006-2024 VNDIC.NET & VDICT.CO all rights reserved.