格式: block statement abe BLOCK(expression) block declarative item BEGIN concurrent statement END BLOCK label格式： block statement …… label: BLOCK (expression) block_declarative_item BEGIN concurrent_statement END BLOCK label;