编译原理实验——识别浮点常量问题

Description

编译器在对程序进行编译之前，首先要进行语法分析。通常，程序被分解成若干个小单元，然后和语言的语法模式进行匹配。在分析表达式的时候，变量的类型在变量声明的时候就决定了；而常量的类型需要从常量的形式来判断。

假设你是自动编译器（ACM）开发小组的一员，负责Pascal语言编译器的开发。你的任务是分析程序分解模块送来的文件，判断其中包含的字符串是否合乎语法的Pascal浮点常量。

Pascal语言对浮点常量的语法要求是：一个浮点常量除了十进制数码之外，必须带有一个小数点或一个指数（紧接在字母e或E之后，在正式文档中也被称为比例因子）。如果该浮点常量含有小数点，则在小数点两侧都至少要有一个十进制数码。当然，在整个浮点常量或指数之前，也许会出现符号+或-。指数不能包含小数。空格也许会出现在浮点常量的前后，但不会出现在浮点常量中间。

请注意Pascal语言的语法规则没有对浮点数常量的取值范围作出任何假定。

Input

输入只有一行，就是有待识别的字符串。字符串的长度不超过255。

Output

请将分析的结果按以下样例的格式输出。如果输入文件中的字符串是Pascal浮点常量，请输出字符串“YES”，否则输出字符串“NO”。

Sample

Input 

1.2

Output 

YES

Hint

输入：1                                             输出：NO
输入：1.0e-55                                 输出：YES
输入：e-12                                       输出：NO
输入：1e-12                                    输出：YES
输入：6.5E                                       输出：NO
输入：+4.1234567890E-9999     输出: YES

 代码与详细注释如下：

#include<iostream>
#include<string>
using namespace std;
int main(){
    string s;
    cin>>s;
    int counte = 0;//counte统计e符号的数量
    int countp = 0;//countp统计小数点的数量
    int p = -1;//p表示小数点出现的位置
    int e = -1;//e表示e符号出现的位置
    int flag = 0;
    int len = s.length();

    for(int i=0;i<len;i++){//第一遍筛

        if(s[i]=='e'||s[i]=='E'){
             if(i==0||i==len-1){//如果e在字符串首尾，判定非法
                flag = 1;
             }
             e = i;
             counte++;//e的统计次数+1
        }else if(s[i]=='.'){
             if(i==0||i==len-1){//如果小数点在字符串首尾，判定非法
                flag = 1;
             }
             p = i;
             countp++;//小数点的统计次数+1
        }else if((s[i]>='0'&&s[i]<='9')||s[i]=='+'||s[i]=='-'||s[i]==' ')//正常符号的话直接跳过
        {
             continue;
        }else{//非法符号直接判定NO
            flag = 1;
            break;//剪枝优化
        }
    }
    if(counte>1||countp>1||(counte==0&&countp==0)){//如果小数点或e出现超过一次，又或是小数点和e都没出现，那么判定非法
        flag = 1;
    }else if(counte==countp&&counte==1){
        if(p>=e-1){//如果小数点和e都出现一次，并且小数点在e后面，或紧挨着e前面，那么判定非法
            flag = 1;
        }
    }
    if(!flag){
        for(int i=0;i<len;i++){//筛查+号和-号的位置是否正确
            if(s[i]=='+'||s[i]=='-'){
                if(i==0&&e==1){//e符号之前不能只有+号或-号
                    flag = 1;
                    break;//剪枝优化
                }else if(i==e+1&&e+1==len-1){//e符号之后不能只有+号或-号
                    flag = 1;
                    break;//剪枝优化
                }else if(i!=0&&i!=e+1){//如果+号和-号既不在开头，也不再e符号的后一个位置，那铁定不对
                    flag = 1;
                    break;//剪枝优化
                }
            }
        }
    }
    if(flag){//flag就是之前就判错的
        cout<<"NO"<<endl;
    }else{
        cout<<"YES"<<endl;
    }
    return 0;
}