Search - NFA D - CodeBus

Search - NFA D - List

[Other] FA DL : 0: 正则表达式->NFA/DFA/最简表达式-Regular Expression-> NFA/DFA/the most simple expression
Date : 2025-12-27 Size : 257kb User : 王据林
[Other] NFA-to-DFA DL : 0: Theory: NDFA: It is a mathematical model containing 5 tuples a) Q- finite non empty set elements of which are called as state. b) T- set of alphabets. c) δ- is a mapping function Q*{T {λ}}*2Q d) S-start state i.e. S ε Q e) F- F (subset) Q and F is a final state. DFA: A finite automata is called DFA if a) There is no transition for function λ. b) For each state S and a input symbol ‘a’, there is at most one edge with a symbol ‘a’ leaving from S. Algorithm: 1. Convert the given NDFA into state transition table where each state corresponds to a row and each input symbol corresponds to a column. 2. Construct the successor table(ST) which lists subset of state reachable from set of initial state 3. The transition graph given by the ST in the required DFA if possible reduces the number of state. Eg: NFA: δ a b qo q1 q2 q1 - q0 q2 [q0q1] - DFA: δ a b qo q1 q2 q1 - q0 q2 [q0q1] - [q0q1] q1 [q2q0] [q2q0] [q0q1] q2-Theory: NDFA: It is a mathematical model containing 5 tuples a) Q- finite non empty set elements of which are called as state. b) T- set of alphabets. c) δ- is a mapping function Q*{T {λ}}*2Q d) S-start state i.e. S ε Q e) F- F (subset) Q and F is a final state. DFA: A finite automata is called DFA if a) There is no transition for function λ. b) For each state S and a input symbol ‘a’, there is at most one edge with a symbol ‘a’ leaving from S. Algorithm: 1. Convert the given NDFA into state transition table where each state corresponds to a row and each input symbol corresponds to a column. 2. Construct the successor table(ST) which lists subset of state reachable from set of initial state 3. The transition graph given by the ST in the required DFA if possible reduces the number of state. Eg: NFA: δ a b qo q1 q2 q1 - q0 q2 [q0q1] - DFA: δ a b qo q1 q2 q1 - q0 q2 [q0q1] - [q0q1] q1 [q2q0] [q2q0] [q0q1] q2
Date : 2025-12-27 Size : 1kb User : Merwyn