Как в yacc описать WHILE?

Пишу компилятор (Домашняя работа) на lex & yacc. В задании указано что итератор у меня должен быть такого вида:

repeat
|expression|
until |condition|

В yacc описываю следующие правила:
repeat_statement: REPEAT line UNTIL condition { не могу понять - как тут описать цикл? }
;

REPEAT и UNTIL - это токены.
line - это набор правил:
line: /* empty */
| comments line
| assigned line
| print line
| repeat_statement line
;