设计一个简单的DFA状态图,从C语言中接受以下4个保留字const、char、case和continue,对给定的任意一个串,能在DFA上动态的表示出每识别出一个字母后状态的转换,最后给出结论,判定该串是否有限自动机可以识别的串;用C语言程序实现该DFA