NFA, DFA, and regular expressions - 204213 Theory of Computation

More documents

Recommendations

Info

Outline Review Nondeterminism Eq. of NFAs and DFAs Closure Reg.Ex. Eq. between Reg.Ex. and FAaRegular operationsLast time, we defined 3 regular operations:Union: A ∪ B = {x|x ∈ A or x ∈ B},Concatenation: A ◦ B = {xy|x ∈ A and y ∈ B},Star: A ∗ = {x 1 x 2 · · · x k |k ≥ 0 and each x i ∈ A},and proved the following theorem.Theorem 1The class of regular languages is closed under the union operation.
Outline Review Nondeterminism Eq. of NFAs and DFAs Closure Reg.Ex. Eq. between Reg.Ex. and FAaWhat about other operations?We prove Theorem 1 by simulating two finite automata withone finite automaton.
Page 1 and 2: Outline Review Nondeterminism Eq. o
Page 3: Outline Review Nondeterminism Eq. o
Page 54 and 55:
Outline Review Nondeterminism Eq. o
Page 56 and 57:
Page 58 and 59:
Page 60 and 61:
Page 62 and 63:
Page 64 and 65:
Page 66 and 67:
Page 68 and 69:
Page 70 and 71:
Page 72 and 73:
Page 74 and 75:
Page 76 and 77:
Page 78 and 79:
Page 80 and 81:
Page 82 and 83:
Page 84 and 85:
Page 86 and 87:
Page 88 and 89:
Page 90 and 91:
Page 92 and 93:
Page 94 and 95:
Page 96 and 97:
Page 98 and 99:
Page 100 and 101:
Page 102 and 103:
Page 104 and 105:
Page 106 and 107:
Page 108 and 109:
Page 110 and 111:
Page 112 and 113:
Page 114 and 115:
Page 116 and 117:
Page 118 and 119:
Page 120 and 121:
Page 122 and 123:
Page 124 and 125:
Page 126 and 127:
Page 128 and 129:
Page 130 and 131:
Page 132 and 133:
Page 134 and 135:
Page 136 and 137:
Page 138 and 139:
Page 140 and 141:
Page 142 and 143:
Page 144 and 145:
Page 146 and 147:
Page 148 and 149:
Page 150 and 151:
Page 152 and 153:
Page 154 and 155:
Page 156 and 157:
Page 158 and 159:
Page 160 and 161:
Page 162:
show all

NFA, DFA, and regular expressions - 204213 Theory of Computation

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?