Non-Logical System Vs Logical Recursive System

Halliday & Matthiessen (1999: 42n):

Non-logical systems are purely declarative — terms such as “choice” and “entry condition” do not imply a procedural interpretation; they merely indicate that the system network can be traversed.