Алфавит нетерминальных символов

1) PROG – программа;

2) DCONST – описание констант;

3) CONS – константа;

4) DVARB – описание переменных;

5) DFUNC – описание функций;

6) PARAM – параметры функции;

7) BODY – тело функции;

8) STML – последовательность операторов;

9) STAT – оператор;

10) EXPR – выражение;

11) TERM – слагаемое;

12) FACT – множимое;

13) FCTL – последовательность выражений.

Ниже приводятся 13 регулярных выражений, представляющих полный синтаксис языка SPL. Первое из них для главного (стартового) нетерминального символа PROG.

1) PROG ® (DCONST | DFUNC | DVARB)* eof

Здесь показано, что программа – это описание констант или описание функций, или описание переменных. Причем все эти описания заключены в круглые скобки, после которых стоит звездочка. Напомним, это означает, что эти описания могут повторяться нуль и больше раз. То есть может случиться, что ни одного из них нет. А за этими описаниями обязательно должна быть лексема eof – признак конца файла. Таким образом, в принципе программа может состоять только из признака конца файла.

2) DCONST ® constl CONS (‘,’ CONS)* ‘;’

Описание констант должно начинаться со служебного слова const, которому соответствует лексема constl в регулярном выражении. За лексемой должен быть нетерминальный символ CONS. Затем через запятую могут быть еще нуль и больше констант. В конце описания констант должна быть ‘;’.

3) CONS ® iden ‘=’ [‘+’ | ‘-‘] numb

Константа являет собой идентификатор, за которым следует ‘=’, а за ним число с необязательным знаком.

Для лучшего понимания 2-го и 3-го регулярных выражений вспомним, как описываются константы в программе на языке SPL.

Например, const k=4, m=-5, q=125;

4) DVARB → intl iden (‘,’ iden) * ‘;’

Перед описанием переменных должно быть служебное слово int. Ему соответствует в регулярном выражении лексема intl. Далее должен следовать идентификатор. Через запятые могут быть еще идентификаторы. В конце описания ставится ‘;’.

5) DFUNC → iden PARAM BODY

Вначале следует имя функции, а за ним – описание параметров и тело функции.

6) PARAM → ‘(‘ [ iden (‘,’ iden ) * ] ‘)’

При описании параметров обязательно должны быть круглые скобки. В них необязательно может быть идентификатор или последовательность идентификаторов через запятую.

7) BODY → beginl (DVARB | DCONST)* STML endl

Тело функции начинается служебным словом begin, которому соответствует лексема beginl. Далее могут следовать ноль и больше раз описание переменных или констант. Затем – последовательность операторов и служебное слово end (лексема endl).

8) STML → STAT (‘,’ STAT)*

Последовательность операторов может состоять из одного оператора или их последовательности через ‘,’.

9) STAT → iden ‘=’ EXPR |

readl iden |

pritl EXPR |

retrl EXPR |

ifl EXPR thenl STML endl |

whilel EXPR dol STML endl

Операторы в языке SPL следующие:

1 Оператор присвоения, когда переменной присваивается результат вычисления выражения.

2 Чтение переменной.

3 Вывод на печать результата вычисления.

4 Возврат из функции результата вычисления.

5 Оператор условной передачи управления. Проверяется результат вычисления выражения. Если он больше нуля, то вычисляется последовательность операторов, расположенная между ключевыми словами then и end.

6 Оператор цикла. Последовательность операторов, расположенная между служебными (ключевыми) словами do и end, выполняется в цикле до тех пор, пока результат вычисления выражения после while больше нуля.

10) EXPR → [‘,’ | ‘-‘] TERM ((‘+’ | ‘-‘) TERM)*

Выражение представляет собой слагаемое, перед которым необязательно может стоять знак. Через знаки ‘+’ или ‘-‘ могут также быть и другие слагаемые.

11) TERM → FACT ( (‘*’ | ‘/’ | ‘%’ ) FACT)*

Слагаемое может состоять из одного множителя или из соединенных знаками ‘*’, или ‘/’, или ‘%’ других сомножителей.

12) FACT → ‘(‘ EXPR ‘)’ | numb | iden [ ‘(‘ ]FCTL ] ’)’ ]

Множитель - это или выражение в круглых скобках, или число, или идентификатор. Последний может быть идентификатором переменной или же функции. Тогда за идентификатором следуют круглые скобки. Внутри них – необязательная последовательность выражений.

14) FCTL → EXPR (‘,’ EXPR)*

Это одно или несколько выражений через запятую.

Лекция 7