登入選單

返回Google圖書搜尋

Analysis of Functions with a Finite Number of Return Values

Institut National de Recherche en Informatique et en AutomatiquePaul Zimmermann

出版	Institut National de Recherche en Informatique et en Automatique, 1992
URL	http://books.google.com.hk/books?id=mw0JHQAACAAJ&hl=&source=gbs_api

註釋

Abstract: "A class of functions with a finite number of return values is defined over combinatorial structures. We prove that the characterization of combinatorial structures by such a function is equivalent to a set of grammar productions, and we show how to derive these productions from the body of the function. In the field of automatic average case analysis, this result allows the use of functions, which makes the description of algorithms more natural and smaller."