본문내용
/********************************************************
파일이름 : main.cpp
내용 : NFA로 정의된 입력을 받아 축약된 DFA로 바꾸어 출력
컴파일러 / 테스트 환경 : MS VC++ 6.0 / WindowsXP
********************************************************/
#include
#include
#include "fa.h"
void InitFA(FA *fa); // fa구조체값들으 초기화시킴
int InputNFA(FA *NFA); // NFA의 값을 각각 입력 받아 FA구조체에 저장
void OutputFA(FA fa); // FA의 각각의 값들을 출력함
int FindState(map mapping[], char *states, int count); // states의 상태들이 존재하는 검사
void AddNewState( FA *NFA, FA *DFA, char *state, int size); // 새로운 상태를 추가시킴
void AddMapFun(map *pMap, int symbol, int state); // 전이함수에 심벌에 대한 상태결과 추가
void MiniDFA_1(FA *DFA); // DFA를 최소화1-도달할수 없는 상태 재거
void MiniDFA_2(FA *DFA); // DFA를 동치관계를 이용하여 최소화
int GetState(map *pMap, int Symbol);
파일이름 : main.cpp
내용 : NFA로 정의된 입력을 받아 축약된 DFA로 바꾸어 출력
컴파일러 / 테스트 환경 : MS VC++ 6.0 / WindowsXP
********************************************************/
#include
#include
#include "fa.h"
void InitFA(FA *fa); // fa구조체값들으 초기화시킴
int InputNFA(FA *NFA); // NFA의 값을 각각 입력 받아 FA구조체에 저장
void OutputFA(FA fa); // FA의 각각의 값들을 출력함
int FindState(map mapping[], char *states, int count); // states의 상태들이 존재하는 검사
void AddNewState( FA *NFA, FA *DFA, char *state, int size); // 새로운 상태를 추가시킴
void AddMapFun(map *pMap, int symbol, int state); // 전이함수에 심벌에 대한 상태결과 추가
void MiniDFA_1(FA *DFA); // DFA를 최소화1-도달할수 없는 상태 재거
void MiniDFA_2(FA *DFA); // DFA를 동치관계를 이용하여 최소화
int GetState(map *pMap, int Symbol);