[a-zA-Z]+ { printf("\n%s is a WORD", yytext); } "==" { printf("\n%s is a RELATIONAL OPERATOR", yytext); } "!=" { printf("\n%s is a RELATIONAL OPERATOR", yytext ...
Relational — 6 operator calls, 3 control branches: All capacity bounds and consumption bounds are enforced structurally via the operator. Remaining branches govern flow sequencing, not state clamping.