products/Sources/formale Sprachen/COBOL/Test-Suite/COBOL/SG image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: sq128a.cob   Sprache: Text

Untersuchung VDM©

Author: Nick Battle, Peter Gorm Larsen and Claus Ballegaard Nielsen (animation)


Conway's Game of Life
The universe of the Game of Life is an infinite two-dimensional orthogonal grid of square cells,
each of which is in one of two possible states, alive or dead. Every cell interacts with its 
eight neighbours, which are the cells that are horizontally, vertically, or diagonally adjacent.
At each step in time, the following transitions occur:

*   Any live cell with fewer than two live neighbours dies, as if caused by under-population.
*   Any live cell with two or three live neighbours lives on to the next generation.
*   Any live cell with more than three live neighbours dies, as if by overcrowding.
*   Any dead cell with exactly three live neighbours becomes a live cell, as if by reproduction.

The initial pattern constitutes the seed of the system. The first generation is created by 
applying the above rules simultaneously to every cell in the seed-births and deaths occur 
simultaneously, and the discrete moment at which this happens is sometimes called a tick 
(in other words, each generation is a pure function of the preceding one). The rules continue 
to be applied repeatedly to create further generations.

Language Version: vdm10
Entry point     : Conway`periodN(PULSAR,3)
Entry point     : Conway`tests()
Entry point     : Conway`generations(130,DIEHARD)
Entry point     : gui_Graphics`generations_animate(130,DIEHARD)

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.23Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤





Druckansicht
unsichere Verbindung
Druckansicht
Hier finden Sie eine Liste der Produkte des Unternehmens

Eigene Datei ansehen




Lebenszyklus

Die hierunter aufgelisteten Ziele sind für diese Firma wichtig


Ziele

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff