("seagull") (CGGL) A machine description language based on modelling the computer as a finite-state machine.