0NETT1
building automata
0NETT1 mark: node 0 dispatching to nodes 1α, 1β, 1γ
0 ⊒ F(0) ⊒ F²(0) ⊒ ⋯
gfp F = 1α ⊓ 1β ⊓ 1γ

ἄνδρα μοι ἔννεπε, Μοῦσα, πολύτροπονthis song of the various-minded man
HOMER · ODYSSEY I.1