编译原理随手记4.11

發表於 | 分類於 ， |
字數統計: 476 | 閱讀時長 ≈ 1

结膜炎又犯了，就随便写写了😂

DFA终态不可能是空集

终态不可能为空集，因为NFA的终点一定会包含在某个DFA的状态集合中。

（吐槽：我的VSC预览字体都调成苹方了，就这引用字体为楷体，真丑）

因此就算是划分子集进行演算的时候，终态间状态转移时也不允许转移到空集。所以并不存在*空集不属于某个状态集*这种看似违背集合定义的问题。

题目图

注：最小化过程中，划分图中终结符号F、G、H时遇到该问题。

参考文献
  1. 编译原理中DFA最小化

写递归下降程序

对于A→B|ε这种形式的，我感觉是这个套路：

  1. 算出B、A的First集和Follow集
  2. 对于B，A()程序先判断指针指向的字符是否在First(B)中，匹配或报错
  3. 对于ε，A()程序判断指针指向字符是否在Follow(A)中，在其中则不管，不在其中则报错。

此处为我瞎打的草稿（嘿嘿嘿，就是这么任性）

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
char lookahead;

void Error(){}

void match(Token t)
{
    if(lookahead==t){
        lookahead=nextToken;
    }else Error();
}

void E(){
    if (lookahead=='t')
    {
        match('t');
    }
    else if (lookahead=='^')
    {
        match('^');
    }
    else if (lookahead=='(')
    {
        match('(');
        T();
        match(')');
    }
    else
    {
        Error();
    }
}

void T(){
    if (lookahead=='T'||lookahead=='^'||lookahead=='(')
    {
        E();
        Tprime();
    }
    else
    {
        Error();
    }
}

void Tprime(){
    if (lookahead==',')
    {
        match(',');
        E();
        Tprime();
    }
    else if (lookahead=')'){}
    else
    {
        Error()
    }    
}

小键盘打出希腊字母等

因为总感觉作业中要写到奇奇怪怪的符号，搜到了就贴这儿了。

  1. 希腊字母：alt+42689~42712，α-ω
  2. 罗马数字：alt+41713~41724，Ⅰ~Ⅻ
  3. 大写数字加括号：alt+41701~41710，㈠~㈩
  4. 数字加圈：alt+41689~41698，①~⑩
  5. 数学基本常用符号：alt+41429~41440，≌，≈，∽，….. ∴
LaTeX冲鸭
参考资料
  1. 电脑怎么用键盘输入希腊字母，罗马数字