构造该正规式的有穷状态自动机

#include<stdio.h>
#include <ctype.h>
#define  ok   1
#define  error 0
#define  MAXREGLUARLONG 40
#define  MAXSTATELONG  40
#define  MAXCAHRSLONG   40
typedef  int state;
int iCurrentState=0;   //初态以1开始
int iPreState=0;
int iLastForkState=0;
int iForkState=0;
int iMaxState=0;
char cRegluarSting[MAXREGLUARLONG];       //输入的正规式字符串
char cCharSet[MAXCAHRSLONG];              //字符集
int  iStateMatrix[MAXSTATELONG][MAXCAHRSLONG];  //状态转换矩阵
state vStoreRegluarSting()//把字符串读入一个缓冲区中
{
    scanf("%s",cRegluarSting);
    return ok;
}
state vPreProcessRegluarSting()
//对字符串进行预处理,去掉字符串里面的对分析不产生影响
{
    int i=0;
    while(cRegluarSting[i]!=‘\0‘)
    {
        if(cRegluarSting[i]==‘*‘)
        {
            int j=i+1;
            while(cRegluarSting[j-1]!=‘\0‘)
            {
                cRegluarSting[j-1]=cRegluarSting[j++];
            }
        }
        i++;
    }
    return ok;
}
void vConstructStateMatrix(char cChar,int istate)//构造状态转换矩阵
{
    int i;
    for(i=0;cCharSet[i]!=‘\0‘;i++)
        if(cChar==cCharSet[i])
            break;
    cCharSet[i]=cChar;
    iStateMatrix[iPreState][i]=istate;
}
void vAanalyseRegluarSting()//对字符串进行从左到右的分析与处理
{
    int i=0;
    for(i=0;cRegluarSting[i]!=0;i++)
    {
        if(cRegluarSting[i]==‘(‘)  //NFA出现开始分叉情况
        {
            int iTheFirstl=0;
            int iCharNumBeforl=0;
            iForkState=iCurrentState;
            while(cRegluarSting[i]!=‘)‘)
            {
                i++;
                if(isalpha(cRegluarSting[i]))
                {
                    if(cRegluarSting[i+1]==‘)‘)
                        iCurrentState=iLastForkState;
                    else
                    iCurrentState++;
                    iCharNumBeforl++;                    vConstructStateMatrix(cRegluarSting[i],iCurrentState);
                    iPreState=iCurrentState;
                    if(iCurrentState>iMaxState)
                        iMaxState=iCurrentState;
                }
                if(cRegluarSting[i]==‘|‘)
                    {
                        iPreState=iForkState;
                        if(iTheFirstl==0)
                        {
                            iLastForkState=iCurrentState;
                            iTheFirstl++;
                        }
                        if(iCharNumBeforl==1&&cRegluarSting[i+2]==‘|‘)
                            iCurrentState=iForkState;
                        iCharNumBeforl=0;
                    }
                if(cRegluarSting[i]==‘)‘)
                {
                    iPreState=iForkState=iLastForkState;
                    iCurrentState=iMaxState;
                }
            }
        }
        else
            {
                if(isalpha(cRegluarSting[i]))
                    {
                        iCurrentState++;                        vConstructStateMatrix(cRegluarSting[i],iCurrentState);
                        iPreState=iCurrentState;
                        if(iCurrentState>iMaxState)
                            iMaxState=iCurrentState;
                    }
            }
    }
}
void  vPrintfStateProjectFunction()
{
    int icCharSetPointer;
    int iPreStatePointer;
    for
(iPreStatePointer=0;iPreStatePointer<MAXSTATELONG;iPreStatePointer++)
    for(icCharSetPointer=0;icCharSetPointer<MAXSTATELONG;icCharSetPointer++)
           if(iStateMatrix[iPreStatePointer][icCharSetPointer]>0)       printf("&(%d,%c)=%d\n",iPreStatePointer,cCharSet[icCharSetPointer],iStateMatrix[iPreStatePointer][icCharSetPointer]);
}
void vPrintfNfa()//输出NFA
{
    int iStateNumble;
    int i=0;
    printf("NFA的形式为:(S,$,&,S0,F)\n\n以下为NFA的具体集合内容:\n\n");
    printf("字符集$为:{");
    while(cCharSet[i]!=0)
        if(cCharSet[i+1]==0)
            printf("%c",cCharSet[i++]);
        else
            printf("%c,",cCharSet[i++]);
    printf("}\n");
    printf("\n状态集S为:{");
    for (i=0;i<=iMaxState;i++) {
        if(i==iMaxState)
            printf("%d",i);
        else
            printf("%d,",i);
    }
    printf("}\n\n");
    vPrintfStateProjectFunction();
    printf("\n初态集S0为:{0}\n\n");
    printf("终态集F为:{%d}",iMaxState);
}
void main()
{
    vStoreRegluarSting();
    vPreProcessRegluarSting();
    vAanalyseRegluarSting();
    vPrintfNfa();
}

  

时间: 2024-10-13 01:08:12

构造该正规式的有穷状态自动机的相关文章

有穷状态自动机

实验三有限自动机的构造与识别 专业:商业软件工程   姓名:陈蔓嘉  学号:201506110245 一.   实验目的 1.掌握有穷状态自动机的概念: 2.掌握有穷状态自动机的存储及表示方法: 3.掌握有穷状态自动机与正则式之间的关系. 二.   实验要求 1.输入正规式: 2.构造该正规式的有穷状态自动机: 3. 以五元组形式输出. 三.    算法 1. 参见教材的转换规则. 四.  实验方法.步骤及结果测试 实验方法: 源程序名:压缩包文件(rar或zip)词法分析程序.zip 源程序名

正规式到正规文法与自动机

1.正规式转换到正规文法 对任意正规式R选择一个非终结符Z生成规则Z→R 1.对形如A→ab的规则,转换成A→aB,B→b 2.将形如A→a|b的规则,转换成A→a,A→b(A→a|b) 3.将形如A→a*b的规则,转换成A→aA,A→b 将形如A→ba*的规则,转换成A→Aa,A→b 不断利用上述规则进行转换,直到每条规则最多含有一个终结符为止. 1(0|1)*101 (a|b)*(aa|bb)(a|b)* ((0|1)*|(11))* (0|11*0)* 2. 自动机M=({q0,q1,q2

正规式、正规文法与自动机

1.正规式转换到正规文法 对任意正规式R选择一个非终结符Z生成规则Z→R 1.对形如A→ab的规则,转换成A→aB,B→b 2.将形如A→a|b的规则,转换成A→a,A→b(A→a|b) 3.将形如A→a*b的规则,转换成A→aA,A→b 将形如A→ba*的规则,转换成A→Aa,A→b 不断利用上述规则进行转换,直到每条规则最多含有一个终结符为止. 1(0|1)*101 Z → A1 A → B0 B → C1 C → (0 | 1)C | ε C → 0C | 1C | ε (a|b)*(aa

10.23正规式、正规文法与自动机

1.正规式转换到正规文法 对任意正规式R选择一个非终结符Z生成规则Z→R 1.对形如A→ab的规则,转换成A→aB,B→b 2.将形如A→a|b的规则,转换成A→a,A→b(A→a|b) 3.将形如A→a*b的规则,转换成A→aA,A→b 将形如A→ba*的规则,转换成A→Aa,A→b 不断利用上述规则进行转换,直到每条规则最多含有一个终结符为止. (1)1(0|1)*101 (2)(a|b)*(aa|bb)(a|b)* (3)((0|1)*|(11))* (4)(0|110)  答: (1)S

第七次-正规式到正规文法与自动机

1.正规式转换到正规文法 对任意正规式R选择一个非终结符Z生成规则Z→R 1.对形如A→ab的规则,转换成A→aB,B→b 2.将形如A→a|b的规则,转换成A→a,A→b(A→a|b) 3.将形如A→a*b的规则,转换成A→aA,A→b 将形如A→ba*的规则,转换成A→Aa,A→b 不断利用上述规则进行转换,直到每条规则最多含有一个终结符为止. 1(0|1)*101 (a|b)*(aa|bb)(a|b)* ((0|1)*|(11))* (0|110) 2. 自动机M=({q0,q1,q2,q

编译原理:正规式、正规文法与自动机

1.正规式转换到正规文法 对任意正规式R选择一个非终结符Z生成规则Z→R 1.对形如A→ab的规则,转换成A→aB,B→b 2.将形如A→a|b的规则,转换成A→a,A→b(A→a|b) 3.将形如A→a*b的规则,转换成A→aA,A→b 将形如A→ba*的规则,转换成A→Aa,A→b 不断利用上述规则进行转换,直到每条规则最多含有一个终结符为止. 1(0|1)*101 解析: S-> A1 A-> B0 B-> C1 C-> 1(0|1)* -> 1|C0|C1 (a|b)

第七次:正规式、正规文法与自动机

1.正规式转换到正规文法 对任意正规式R选择一个非终结符Z生成规则Z→R 1.对形如A→ab的规则,转换成A→aB,B→b 2.将形如A→a|b的规则,转换成A→a,A→b(A→a|b) 3.将形如A→a*b的规则,转换成A→aA,A→b 将形如A→ba*的规则,转换成A→Aa,A→b 不断利用上述规则进行转换,直到每条规则最多含有一个终结符为止. (1)   1(0|1)*101 得: S->A1    A->B0  B->C1 C->1(0|1)*->1|C0|C1 (2

有穷的自动机构造

#include<string.h>#include<stdio.h>#include<stdlib.h>int main(){ char p[30][30];//存放文法 char q[30][30]; int line=0; int n; int i,j; int count=0; int k,t=0; int flag=0; int l,m=0; char VN[30]={'\0'};//存放非终结符号 char VT[30]={'\0'};//存放终结符号 pr

编译原理——正规式转DFA算法概述

一.概念概述 给定一个单词,判断该单词是否满足我们给定的单词描述规则,需要用到编译原理中词法分析的相关知识,其中涉及到的两个很重要的概念就是正规式(Regular Expression)和有穷自动机(Finite Automata).正规式是描述单词规则的工具,首先要明确的一点是所有单词组成的是一个无穷的集合,而正规式正是描述这种无穷集合的一个工具:有穷自动机则是识别正规式的一个有效的工具,它分为确定的有穷自动机(Deterministic Finite Automata,DFA)和不确定的有穷