Приложение B

Грамматика языка

Здесь используются следующие обозначения для лексем:

NAME

Имя (идентификатор).

NUMBER

Числовое литеральное выражение. STRING

Строковое литеральное выражение.

NEWLINE

Символ (или последовательность из двух символов), обозначающий переход на новую строку.

ENDMARKER

Конец файла (потока).

INDENT

Увеличение уровня отступа.

DEDENT

Уменьшение уровня отступа.

Начальные символы грамматики:

single input

Одна интерактивная инструкция.

file input

Модуль или последовательность команд, считываемая из файла.

eval input

Инструкция-выражение, передаваемое функции eval() или ввод, получаемый функцией input() .

single input: NEWLINE

simple stmt compound stmt NEWLINE

file input: eval input:

(NEWLINE stmt)* ENDMARKER testlist NEWLINE* ENDMARKER

funcdef:

parameters:

varargslist:

fpdef:

fplist:

def NAME parameters : suite ( [varargslist] ) (fpdef [= test] ,)*

(* NAME [, ** NAME] ** NAME) fpdef [= test] (, fpdef [= test])* [,]

NAME ( fplist ) fpdef (, fpdef)* [,]

stmt:

simple stmt: small stmt:

expr stmt:

augassign:

print stmt:

del stmt:

pass stmt:

flow stmt:

simple stmt compound stmt small stmt (; small stmt)* [;]

NEWLINE

expr stmt print stmt del stmt pass stmt flow stmt import stmt global stmt exec stmt assert stmt

testlist (augassign testlist (= testlist)*)

+= -= *= /= %= &= = = <<= >>= i**=i

print ( [ test (, test)* [,] ] >> test [ (, test)+ [,] ] )

del exprlist

pass

break stmt continue stmt return stmt raise stmt

break stmt:

break

continue stmt: continue return stmt: return [testlist]

raise [test [, test [, test]]]

raise stmt: import stmt:

import dotted as name (, dotted as name)* from dotted name import (* import as name (, import as name)*)

import as name: NAME [NAME NAME] dotted as name: dotted name [NAME NAME]

dotted name: global stmt: eXec stmt: assert stmt:

NAME (. NAME)*

global NAME (, NAME)*

exec expr [in test [, test]]

assert test [, test]

compound stmt: if stmt while stmt for stmt

try stmt funcdef classdef

if stmt:

while stmt:

for stmt:

try stmt:

if test : suite (elif test : suite)* [else : suite]

while test : suite [else : suite]

for exprlist in testlist : suite [else : suite]

(try : suite (except clause : suite)+ [else : suite] try : suite finally : suite)

except clause: except [test [, test]]