public static void resetAllVariebles()
{
//实例化全局XFA对象
globalNFA = new NFA();
globalDFA = new DFA();
globalMFA = new MFA();
}
//函数功能：对生成的MFA的状态进行重新编号，同时更新转换函数、初态集、终态集
private MFA normalizeMFA(MFA mfa)
{
//生成MFA状态集
List <String> stateSet = new List <String>();
foreach (transformFunction item in mfa.MFA_Transform)
{
String from = item.from;
String to = item.to;
if (!stateSet.Contains(from))
{
stateSet.Add(from);
}
if (!stateSet.Contains(to))
{
stateSet.Add(to);
}
}
//对状态集按照ID从小到大排序(该句也可省略)
stateSet = StringArraySort(stateSet.ToArray()).ToList();
int stateNum = stateSet.Count();
//构建新的状态集合
List <String> newStateSet = new List <String>();
for (int i = 0; i < stateNum; i++)
{
newStateSet.Add(i.ToString());
}
//更新状态转换函数、初态集、终态集
for (int i = 0; i < stateNum; i++)
{
foreach (transformFunction TF in mfa.MFA_Transform)
{
if (TF.from == stateSet[i])
{
TF.from = newStateSet[i];
}
if (TF.to == stateSet[i])
{
TF.to = newStateSet[i];
}
}
for (int j = 0; j < mfa.MFA_START.Length; j++)
{
if (mfa.MFA_START[j] == stateSet[i])
{
mfa.MFA_START[j] = newStateSet[i];
}
}
for (int j = 0; j < mfa.MFA_END.Length; j++)
{
if (mfa.MFA_END[j] == stateSet[i])
{
mfa.MFA_END[j] = newStateSet[i];
}
}
}
return(mfa);
}
static void Main()
{
Application.EnableVisualStyles();
Application.SetCompatibleTextRenderingDefault(false);
mainForm mForm = new mainForm();
mForm.StartPosition = FormStartPosition.CenterScreen;
//实例化全局XFA对象
globalNFA = new NFA();
globalDFA = new DFA();
globalMFA = new MFA();
Application.Run(mForm);
}
private String[] getAllStateOfMFA(MFA myMFA)
{
List <String> stateList = new List <String>();
foreach (transformFunction TF in myMFA.MFA_Transform)
{
if (!stateList.Contains(TF.from))
{
stateList.Add(TF.from);
}
if (!stateList.Contains(TF.to))
{
stateList.Add(TF.to);
}
}
return(stateList.ToArray());
}
private void DFA_Painter(object sender, PaintEventArgs e)
{
GoView myView = new GoView();
myView.Dock = DockStyle.Fill;
this.Controls.Add(myView);
MFA myMFA = Program.globalMFA;
//获取MFA的所有状态
String[] stateSet = getAllStateOfMFA(myMFA);
int stateNum = stateSet.Length; //椭圆的个数
int[] startIDArray = new int[10]; //每一列的开始状态编号
startIDArray[0] = 0;
for (int i = 1; i < 10; i++)
{
startIDArray[i] = startIDArray[i - 1] + i;
//MessageBox.Show(startIDArray[i].ToString());
}
GoBasicNode[] myNode = new GoBasicNode[stateNum];
for (int i = 0; i < stateNum; i++)
{
//创建节点
myNode[i] = new GoBasicNode();
myNode[i].Text = i.ToString();
myNode[i].Height = 50;
myNode[i].Width = 50;
myNode[i].Editable = false;
myNode[i].Shape.BrushColor = Color.White;
if (i == 0)
{
myNode[i].Shape.BrushColor = Color.Thistle;
myNode[i].Height = 55;
myNode[i].Width = 55;
}
//标记终态
if (myMFA.MFA_END.Contains(i.ToString()))
{
myNode[i].Shape.BrushColor = Color.Green;
myNode[i].Height = 55;
myNode[i].Width = 55;
}
//设置节点位置
int row = getPositionOfState(startIDArray, i)[0];
int column = getPositionOfState(startIDArray, i)[1];
float X = 0;
float Y = 0;
if (row % 2 != 0)
{
X = column * intervalHorizonal + row * 20;
}
else
{
X = column * intervalHorizonal - row * 20;
}
if (column % 2 == 0)
{
Y = row * intervalVertical + column * 20;
}
else
{
Y = row * intervalVertical - column * 20;
}
myNode[i].Position = new PointF(X, Y);
//向GO视图中添加node控件
myView.Document.Add(myNode[i]);
}
//遍历MFA转换函数，向对应两个状态之间添加连线
foreach (transformFunction TF in myMFA.MFA_Transform)
{
//MessageBox.Show(TF.tranformInfo());
int from = int.Parse(TF.from);
String by = TF.by;
int to = int.Parse(TF.to);
if (from == 34)
{
#region
GoBasicNode node = new GoBasicNode();
node.Size = new SizeF(0, 0);
node.Text = by;
node.Shape.BrushColor = Color.White;
//设置中间节点位置在from和to节点中间
node.Position = new PointF((myNode[from].Position.X + myNode[to].Position.X) / 2,
(myNode[from].Position.Y + myNode[to].Position.Y) / 2);
myView.Document.Add(node);
#endregion
GoLink link1 = new GoLink();
link1.ToArrow = false;
link1.FromPort = myNode[from].Port;
link1.ToPort = node.Port;
link1.Style = GoStrokeStyle.RoundedLineWithJumpOvers;
myView.Document.Add(link1);
GoLink link2 = new GoLink();
link2.ToArrow = true;
link1.Style = GoStrokeStyle.Bezier;
link2.FromPort = node.Port;
link2.ToPort = myNode[to].Port;
link2.Style = GoStrokeStyle.RoundedLineWithJumpOvers;
myView.Document.Add(link2);
}
else
{
GoLabeledLink link = new GoLabeledLink();
link.ToArrow = true;
link.FromPort = myNode[from].Port;
link.ToPort = myNode[to].Port;
GoText text = new GoText();
text.Text = by;
link.MidLabel = text;
myView.Document.Add(link);
}
}
GoText MFAInfoText = new GoText();
StringBuilder SB = new StringBuilder();
SB.Append("项目编号 项目族信息\r\n");
for (int i = 0; i < myMFA.stateSet.Length; i++)
{
SB.Append(i.ToString());
SB.Append(" ");
foreach (String item in myMFA.stateSet[i].state)
{
SB.Append(item);
SB.Append(";");
}
SB.Append("\r\n");
}
SB.Append("\r\n");
SB.Append("DFA转换函数");
SB.Append("\r\n");
foreach (transformFunction TF in myMFA.MFA_Transform)
{
SB.Append(TF.tranformInfo());
SB.Append("\r\n");
}
MFAInfoText.Text = SB.ToString();
MFAInfoText.Multiline = true;
MFAInfoText.Bold = true;
MFAInfoText.AutoRescales = true;
MFAInfoText.Position = new PointF(10, 50);
myView.Document.Add(MFAInfoText);
}
