CplusplusCompiler/NFAgenerator.cpp at master · adriano515/CplusplusCompiler · GitHub

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
58
59
//
// Created by Freddie on 9/4/2016.
//

#include "NFAgenerator.h"
#include "postfix.h"

Automata *nfaGen(TreeNode *current, int *counter) {

    if(!isOperator(current->getValue())){
        AutomataNode* a = new AutomataNode();
        AutomataNode* b = new AutomataNode();


        a->setNumber(*counter);
        *counter = *counter + 1;
        b->setNumber(*counter);
        *counter = *counter + 1;

        current->setAutomata(letterAut(a, b, current->getValue()));
        return current->getAutomata();
    }
    else {
        if (current->getValue() == '*') {
            Automata *leftAutom = nfaGen(current->getLeft(),counter);
            Automata *rightAutom = nfaGen(current->getRight(),counter);
            current->setAutomata(andAutomata(leftAutom, rightAutom));
            return current->getAutomata();
        }

        if (current->getValue() == '^') {
            Automata *leftAutom = nfaGen(current->getLeft(),counter);
            current->setAutomata(kleenAutomata(leftAutom));


            current->getAutomata()->getInitNode()->setNumber(*counter);
            *counter = *counter + 1;
            current->getAutomata()->getFinNode()->setNumber(*counter);
            *counter = *counter + 1;

            return current->getAutomata();
        }
        if (current->getValue() == '|') {
            Automata *leftAutom = nfaGen(current->getLeft(), counter);
            Automata *rightAutom = nfaGen(current->getRight(), counter);
            current->setAutomata(orAut(leftAutom, rightAutom));

            current->getAutomata()->getInitNode()->setNumber(*counter);
            *counter = *counter + 1;
            current->getAutomata()->getFinNode()->setNumber(*counter);
            *counter = *counter + 1;

            return current->getAutomata();
        }
    }

    return current->getAutomata();

}