Go backward to While Loops
Go up to Top
Go forward to While Loops

Example

graph(F⁰(_|_))={}
graph(F¹(_|_))={
    ( { ([[A]],zero), ([[B]],zero), ...},
    { ([[A]],zero), ([[B]],zero), ...} ),
    ...
    ( { ([[A]],zero), ([[B]],four), ...},
    { ([[A]],zero), ([[B]],four), ...} ), ...}
graph(F²(_|_))={
    ( { ([[A]],zero), ([[B]],zero), ...},
    { ([[A]],zero), ([[B]],zero), ...} ),
    ...
    ( { ([[A]],zero), ([[B]],four), ...},
    { ([[A]],zero), ([[B]],four), ...} ),
    ...
    ( { ([[A]],one), ([[B]],zero), ...},
    { ([[A]],zero), ([[B]],one), ...} ),
    ...
    ( { ([[A]],one), ([[B]],four), ...},
    { ([[A]],zero), ([[B]],five), ...} ), ...}

Author: Wolfgang Schreiner
Last Modification: November 5, 1997