#P5756. [NOI2000] 程序分析器

[NOI2000] 程序分析器

题目描述

Tiny Basm语言(简称为TB语言)的巴科斯-瑙尔范式(BNF)为:

错误语句示例(在输入文件中不会出现任何错误语句):

  • 10A+1.5(不符合累加语句的定义,所加的不是整数)
  • 20A?(不符合输出语句的定义,多加了一个空格)
  • 30IFA=BGO10(不符合条件语句的定义,不应变量=变量)

\\

TB程序的执行:

  • 程序从行号最小的一条语句开始执行,在未遇到条件语句时按行号由小至大顺序执行。
  • 所有变量在程序执行前被自动初始化为 00
  • 累加语句将语句中变量的值加上语句中的整数送回该变量。
  • 输出语句将语句中变量的值在监视器上显示出来。
  • 执行条件语句时,当且仅当该语句中的变量与紧跟在等号后面的整数值相等,后面的转移语句才被执行。该语句中的所有整数值至多为 44 位。
  • 转移语句被执行后,程序将转去执行 GO\tt GO 后面指定的行号的语句。
  • 当程序执行结束语句后,结束整个程序的执行。
  • 假设该系统能处理任意大小的整数,而不会发生溢出。

请编程,对于给定的 TB 语言程序 PP,求该程序所执行的语句数(执行条件语句不论是否成功转移,仅记为执行一条语句)。

输入格式

  • 为一个TB语言程序 PP ,语句数不超过 100100 行。
  • PP 中每条语句的长度不超过 2020 个字符。
  • PP 中转移语句里 GO\tt GO 后面的行号一定有对应的语句。
  • PP 中可能有多个不同行号的结束语句。
  • PP 中行号最大的语句一定是结束语句。
  • PP 中的行号都不大于 30003000
  • 输入文件不一定是按行号递增顺序给出 PP 的。

输出格式

  • 有且仅有一行:

如果程序能够正常结束,输出该程序所执行的语句数;

如果程序不能正常结束,输出 1-1

10 A+1
20 IF A=5 GO 60
60 END
30 A+2
40 A?
50 GO 20

11

提示

样例说明

执行语句行号按顺序为 102030405020304050206010→20→30→40→50→20→30→40→50→20→60

1111 条语句被执行。