private DFAState GetDFAState(DFAState start, int symbol)
{
DFAState target = new DFAState();
var nfaStates = m_nfa.States;
foreach (var nfaStateIndex in start.NFAStateSet)
{
NFAState nfaState = nfaStates[nfaStateIndex];
var outEdges = nfaState.OutEdges;
int edgeCount = outEdges.Count;
for (int i = 0; i < edgeCount; i++)
{
var edge = outEdges[i];
if (!edge.IsEmpty && symbol == edge.Symbol.Value)
{
int targetIndex = edge.TargetState.Index;
Debug.Assert(targetIndex >= 0);
target.NFAStateSet.Add(targetIndex);
}
}
}
return(GetClosure(target));
}
private void ConvertNFAToDFA()
{
var nfaStates = m_nfa.States;
//state 0 is an empty state. All invalid inputs go to state 0
DFAState state0 = new DFAState();
AddDFAState(state0);
//state 1 is closure(nfaState[0])
DFAState pre_state1 = new DFAState();
int nfaStartIndex = m_nfa.EntryEdge.TargetState.Index;
Debug.Assert(nfaStartIndex >= 0);
pre_state1.NFAStateSet.Add(nfaStartIndex);
DFAState state1 = GetClosure(pre_state1);
AddDFAState(state1);
//begin algorithm
int p = 1, j = 0;
while (j <= p)
{
for (int symbol = CompactCharSetManager.MinClassIndex; symbol <= CompactCharSetManager.MaxClassIndex; symbol++)
{
DFAState e = GetDFAState(m_dfaStates[j], symbol);
bool isSetExist = false;
for (int i = 0; i <= p; i++)
{
if (e.NFAStateSet.SetEquals(m_dfaStates[i].NFAStateSet))
{
//an existing dfa state
DFAEdge newEdge = new DFAEdge(symbol, m_dfaStates[i]);
m_dfaStates[j].AddEdge(newEdge);
isSetExist = true;
}
}
if (!isSetExist)
{
//a new set of nfa states (a new dfa state)
p += 1;
AddDFAState(e);
DFAEdge newEdge = new DFAEdge(symbol, e);
m_dfaStates[j].AddEdge(newEdge);
}
}
j += 1;
}
}
private void AddDFAState(DFAState state)
{
m_dfaStates.Add(state);
state.Index = m_dfaStates.Count - 1;
for (int i = 0; i < m_acceptTables.Length; i++)
{
m_acceptTables[i].Add(-1);
}
var tokens = m_lexicon.GetTokens();
var lexerStates = m_lexicon.GetLexers();
//check accept states
var acceptStates = (from i in state.NFAStateSet
let tokenIndex = m_nfa.States[i].TokenIndex
where tokenIndex >= 0
let token = tokens[tokenIndex]
orderby token.Tag.Index
group token by token.State.Index into lexerState
orderby lexerStates[lexerState.Key].Level
select lexerState).ToArray();
if (acceptStates != null && acceptStates.Length > 0)
{
Queue <Lexer> stateTreeQueue = new Queue <Lexer>();
foreach (var acceptState in acceptStates)
{
int acceptTokenIndex = acceptState.First().Tag.Index;
//set all children lexer state's accept token to current lexer state
stateTreeQueue.Clear();
stateTreeQueue.Enqueue(lexerStates[acceptState.Key]);
while (stateTreeQueue.Count > 0)
{
var currentLexerState = stateTreeQueue.Dequeue();
foreach (var child in currentLexerState.Children)
{
stateTreeQueue.Enqueue(child);
}
SetAcceptState(currentLexerState.Index, state.Index, acceptTokenIndex);
}
}
}
}
private void AddDFAState(DFAState state)
{
m_dfaStates.Add(state);
state.Index = m_dfaStates.Count - 1;
for (int i = 0; i < m_acceptTables.Length; i++)
{
m_acceptTables[i].Add(-1);
}
var tokens = m_lexicon.GetTokens();
var lexerStates = m_lexicon.GetLexerStates();
//check accept states
var acceptStates = (from i in state.NFAStateSet
let tokenIndex = m_nfa.States[i].TokenIndex
where tokenIndex >= 0
let token = tokens[tokenIndex]
orderby token.Tag.Index
group token by token.State.Index into lexerState
orderby lexerStates[lexerState.Key].Level
select lexerState).ToArray();
if (acceptStates != null && acceptStates.Length > 0)
{
Queue<LexerState> stateTreeQueue = new Queue<LexerState>();
foreach (var acceptState in acceptStates)
{
int acceptTokenIndex = acceptState.First().Tag.Index;
//set all children lexer state's accept token to current lexer state
stateTreeQueue.Clear();
stateTreeQueue.Enqueue(lexerStates[acceptState.Key]);
while (stateTreeQueue.Count > 0)
{
var currentLexerState = stateTreeQueue.Dequeue();
foreach (var child in currentLexerState.Children)
{
stateTreeQueue.Enqueue(child);
}
SetAcceptState(currentLexerState.Index, state.Index, acceptTokenIndex);
}
}
}
}
private DFAState GetClosure(DFAState state)
{
DFAState closure = new DFAState();
var nfaStates = m_nfa.States;
closure.NFAStateSet.UnionWith(state.NFAStateSet);
bool changed = true;
while (changed)
{
changed = false;
int[] lastStateSet = new int[closure.NFAStateSet.Count];
closure.NFAStateSet.CopyTo(lastStateSet, 0);
foreach (var stateIndex in lastStateSet)
{
NFAState nfaState = nfaStates[stateIndex];
var outEdges = nfaState.OutEdges;
int edgeCount = outEdges.Count;
for (int i = 0; i < edgeCount; i++)
{
var edge = outEdges[i];
if (edge.IsEmpty)
{
NFAState target = edge.TargetState;
//check whether in set
int targetIndex = target.Index;
Debug.Assert(targetIndex >= 0);
changed = closure.NFAStateSet.Add(targetIndex) || changed;
}
}
}
}
return(closure);
}
private DFAState GetDFAState(DFAState start, int symbol)
{
DFAState target = new DFAState();
var nfaStates = m_nfa.States;
foreach (var nfaStateIndex in start.NFAStateSet)
{
NFAState nfaState = nfaStates[nfaStateIndex];
var outEdges = nfaState.OutEdges;
int edgeCount = outEdges.Count;
for (int i = 0; i < edgeCount; i++)
{
var edge = outEdges[i];
if (!edge.IsEmpty && symbol == edge.Symbol.Value)
{
int targetIndex = edge.TargetState.Index;
Debug.Assert(targetIndex >= 0);
target.NFAStateSet.Add(targetIndex);
}
}
}
return GetClosure(target);
}
private DFAState GetClosure(DFAState state)
{
DFAState closure = new DFAState();
var nfaStates = m_nfa.States;
closure.NFAStateSet.UnionWith(state.NFAStateSet);
bool changed = true;
while (changed)
{
changed = false;
int[] lastStateSet = new int[closure.NFAStateSet.Count];
closure.NFAStateSet.CopyTo(lastStateSet, 0);
foreach (var stateIndex in lastStateSet)
{
NFAState nfaState = nfaStates[stateIndex];
var outEdges = nfaState.OutEdges;
int edgeCount = outEdges.Count;
for (int i = 0; i < edgeCount; i++)
{
var edge = outEdges[i];
if (edge.IsEmpty)
{
NFAState target = edge.TargetState;
//check whether in set
int targetIndex = target.Index;
Debug.Assert(targetIndex >= 0);
changed = closure.NFAStateSet.Add(targetIndex) || changed;
}
}
}
}
return closure;
}
private void ConvertNFAToDFA()
{
var nfaStates = m_nfa.States;
//state 0 is an empty state. All invalid inputs go to state 0
DFAState state0 = new DFAState();
AddDFAState(state0);
//state 1 is closure(nfaState[0])
DFAState pre_state1 = new DFAState();
int nfaStartIndex = m_nfa.EntryEdge.TargetState.Index;
Debug.Assert(nfaStartIndex >= 0);
pre_state1.NFAStateSet.Add(nfaStartIndex);
DFAState state1 = GetClosure(pre_state1);
AddDFAState(state1);
//begin algorithm
int p = 1, j = 0;
while (j <= p)
{
for (int symbol = CompactCharSetManager.MinClassIndex; symbol <= CompactCharSetManager.MaxClassIndex; symbol++)
{
DFAState e = GetDFAState(m_dfaStates[j], symbol);
bool isSetExist = false;
for (int i = 0; i <= p; i++)
{
if (e.NFAStateSet.SetEquals(m_dfaStates[i].NFAStateSet))
{
//an existing dfa state
DFAEdge newEdge = new DFAEdge(symbol, m_dfaStates[i]);
m_dfaStates[j].AddEdge(newEdge);
isSetExist = true;
}
}
if (!isSetExist)
{
//a new set of nfa states (a new dfa state)
p += 1;
AddDFAState(e);
DFAEdge newEdge = new DFAEdge(symbol, e);
m_dfaStates[j].AddEdge(newEdge);
}
}
j += 1;
}
}
public DFAEdge(int symbol, DFAState targetState)
: this()
{
Symbol = symbol;
TargetState = targetState;
}
private DFAState GetDFAState(DFAState start, int symbol)
{
DFAState target = new DFAState();
var nfaStates = m_nfa.States;
foreach (var nfaStateIndex in start.NFAStateSet)
{
NFAState nfaState = nfaStates[nfaStateIndex];
foreach (var edge in nfaState.OutEdges)
{
if (!edge.IsEmpty && symbol == edge.Symbol.Value)
{
int targetIndex = edge.TargetState.Index;
Debug.Assert(targetIndex >= 0);
target.NFAStateSet.Add(targetIndex);
}
}
}
return GetClosure(target);
}
private DFAState GetClosure(DFAState state)
{
DFAState closure = new DFAState();
var nfaStates = m_nfa.States;
closure.NFAStateSet.UnionWith(state.NFAStateSet);
bool changed = true;
while (changed)
{
changed = false;
List<int> lastStateSet = closure.NFAStateSet.ToList();
foreach (var stateIndex in lastStateSet)
{
NFAState nfaState = nfaStates[stateIndex];
foreach (var edge in nfaState.OutEdges)
{
if (edge.IsEmpty)
{
NFAState target = edge.TargetState;
//check whether in set
int targetIndex = target.Index;
Debug.Assert(targetIndex >= 0);
changed = closure.NFAStateSet.Add(targetIndex) || changed;
}
}
}
}
return closure;
}
public DFAEdge(int symbol, DFAState targetState)
: this()
{
Symbol = symbol;
TargetState = targetState;
}
