Determining periodicity: a case study of a functional specification
作者:
V. J. Rayward‐Smith,
A. E. Omar,
期刊:
International Journal of Mathematical Education in Science and Technology
(Taylor Available online 1995)
卷期:
Volume 26,
issue 5
页码: 655-673
ISSN:0020-739X
年代: 1995
DOI:10.1080/0020739950260503
出版商: Taylor & Francis Group
数据来源: Taylor
摘要:
We consider the problem of determining the periodicity of a binary sequence, a problem of some importance in cryptography. A program for the solution of this problem is specified using a functional notation. Results on the likely period of a random binary sequence are developed. We discuss the benefits of using a functional specification both for the case study and in general.
点击下载:
PDF (814KB)
返 回