private void btnConvertToMealy_Click(object sender, RoutedEventArgs e)
{
MealyTransitionDiagram diagTemp = null;
if (diagram.states.Count != 0 && diagram.transitions.Count != 0)
{
diagTemp = ((MooreTransitionDiagram)diagram).convertToMealy();
}
else
{
MessageBox.Show("Please draw the transition diagram first");
}
if (diagTemp != null)//is null on errors
{
diagram = diagTemp;
setInterfaceOnMachineLoad();
this.machine = machines.Mealy;
btnConvertToMoore.Visibility = Visibility.Visible;
btnConvertToMealy.Visibility = Visibility.Collapsed;
this.ribbonMain.Title = "Mealy Machine";
loadedFilePath = "";
}
}
private void btnClear_Click(object sender, RoutedEventArgs e)
{
if (canvasMain.Children.Count == 0)
{
return;
}
else
{
if (MessageBox.Show("Are you sure to clear the Page", "Clear?", MessageBoxButton.YesNo) == MessageBoxResult.No)
{
return;
}
}
grpStateOptions.IsEnabled = false;
grpTransOptions.IsEnabled = false;
btnInitial.IsChecked = btnFinal.IsChecked = false;
TransitionDiagram newDiag = null;
switch (machine)
{
case machines.Dfa:
newDiag = new DfaTransitionDiagram();
break;
case machines.Nfa:
newDiag = new NfaTransitionDiagram();
break;
case machines.Moore:
newDiag = new MooreTransitionDiagram();
break;
case machines.Mealy:
newDiag = new MealyTransitionDiagram();
break;
case machines.Turing:
newDiag = new TuringTransitionDiagram();
break;
}
if (newDiag != null)
{
newDiag.inputs = diagram.inputs;
newDiag.noOfInputs = diagram.noOfInputs;
newDiag.outputs = diagram.outputs;
canvasMain.Children.Clear();
newDiag.setCanvas(canvasMain);
diagram = newDiag;
}
}
public void newMachine(machines type, TransitionDiagram newDiagram = null)
{
if (newDiagram != null) // don't clear the canvas, i.e. we are only updating the interface on conversions etc
{
;
}
else
{
if (saveOnNewOrExit() == MessageBoxResult.Cancel)
{
return;
}
fileStatus.isEdited = false;
loadedFilePath = "";
grammar = null;
pda = null;
mode = modes.Machines;
GrammarTab.Visibility = pdaTab.Visibility = Visibility.Collapsed;
transitionDiagramTab.Visibility = Visibility.Visible;
ExecuteTab.Visibility = Visibility.Visible;
ribbonMain.Visibility = Visibility.Visible;
transitionDiagramTab.IsSelected = true;
clearAllTextBoxes();
}
//restore original settings
btnFinal.IsChecked = btnInitial.IsChecked = false;
btnAddState.IsChecked = btnAddTrans.IsChecked = btnSelect.IsChecked = false;
btnNull.IsChecked = false;
grpSymbols.IsEnabled = false;
grpToolbox.IsEnabled = false;
grpSelection.IsEnabled = false;
btnStatistics.IsEnabled = false;
grpStateOptions.IsEnabled = false;
btnFinal.IsEnabled = true;// disabled in turing, moore, mealy
grpTransOptions.IsEnabled = false;
grpStringAcceptance.Visibility = Visibility.Collapsed;
grpOutputProducer.Visibility = Visibility.Collapsed;
btnNull.IsEnabled = false;
//because they are changed in turing machine interface
txtInput.Width = txtOutput.Width = 155;
lblInput.Content = "Input "; //changed to input tape in turnig
lblOutput.Content = "Output"; //changed to output tape in turnig
grpDfaOptions.Visibility = grpNfaOptions.Visibility = grpMooreMealyOptions.Visibility = Visibility.Collapsed;
switch (type)
{
case machines.Dfa:
machine = machines.Dfa;
if (newDiagram == null)
{
newDiagram = new DfaTransitionDiagram();
}
diagram = newDiagram;
spInputSymbols.IsEnabled = true;
spOutputSymbols.IsEnabled = false;
grpDfaOptions.Visibility = Visibility.Visible;
grpStringAcceptance.Visibility = Visibility.Visible;
Application.Current.MainWindow.Title = "DFA";
break;
case machines.Nfa:
machine = machines.Nfa;
if (newDiagram == null)
{
newDiagram = new NfaTransitionDiagram();
}
diagram = newDiagram;
btnNullClosure.IsEnabled = false; // to be enabled on state selection
spInputSymbols.IsEnabled = true;
spOutputSymbols.IsEnabled = false;
btnNull.IsEnabled = true;
grpNfaOptions.Visibility = Visibility.Visible;
grpStringAcceptance.Visibility = Visibility.Visible;
Application.Current.MainWindow.Title = "NFA";
break;
case machines.Moore:
machine = machines.Moore;
if (newDiagram == null)
{
newDiagram = new MooreTransitionDiagram();
}
diagram = newDiagram;
spInputSymbols.IsEnabled = true;
spOutputSymbols.IsEnabled = true;
btnFinal.IsEnabled = false;
grpMooreMealyOptions.Visibility = Visibility.Visible;
btnConvertToMoore.Visibility = Visibility.Collapsed;
btnConvertToMealy.Visibility = Visibility.Visible;
grpMooreMealyOptions.Header = "Moore Options";
grpOutputProducer.Visibility = Visibility.Visible;
Application.Current.MainWindow.Title = "Moore Machine";
break;
case machines.Mealy:
machine = machines.Mealy;
if (newDiagram == null)
{
newDiagram = new MealyTransitionDiagram();
}
diagram = newDiagram;
spInputSymbols.IsEnabled = true;
spOutputSymbols.IsEnabled = true;
btnFinal.IsEnabled = false;
grpMooreMealyOptions.Visibility = Visibility.Visible;
btnConvertToMoore.Visibility = Visibility.Visible;
btnConvertToMealy.Visibility = Visibility.Collapsed;
grpMooreMealyOptions.Header = "Mealy Options";
grpOutputProducer.Visibility = Visibility.Visible;
Application.Current.MainWindow.Title = "Mealy Machine";
break;
case machines.Turing:
machine = machines.Turing;
if (newDiagram == null)
{
newDiagram = new TuringTransitionDiagram();
}
diagram = newDiagram;
lblInput.Content = "Input Tape ";
lblOutput.Content = "Output Tape";
spInputSymbols.IsEnabled = true;
spOutputSymbols.IsEnabled = false;
btnFinal.IsEnabled = false;
grpOutputProducer.Visibility = Visibility.Visible;
txtInput.Width = txtOutput.Width = 500;
Application.Current.MainWindow.Title = "Turing Machine";
break;
case machines.None:
return; // deselected above
}
//enable common options
grpSymbols.IsEnabled = true;
grpToolbox.IsEnabled = true;
grpSelection.IsEnabled = true;
btnStatistics.IsEnabled = true;
btnAddTrans.IsEnabled = false;
State.resetLabels();
btnOk.IsEnabled = true;
diagram.setCanvas(canvasMain);
btnAddState.IsChecked = true;
btnAddState_Click(btnAddState, null); // to set the mode as addState
}
public MealyTransitionDiagram convertToMealy()
{
if (isError() && transitions.Count == noOfInputs * states.Count)
{
MealyTransitionDiagram newDiagram = new MealyTransitionDiagram();
newDiagram.inputs = this.inputs;
newDiagram.outputs = this.outputs;
newDiagram.noOfInputs = this.noOfInputs;
newDiagram.setCanvas(canvasMain);
List <int> initialStatesIndexes = new List <int>();
foreach (State s in this.states)
{
if (initialStates.Contains(s))
{
initialStatesIndexes.Add(s.index);
}
}
foreach (State s in this.states)
{
foreach (string i in this.inputs)
{
if (table[s.index, getIndexOfInput(i)] == null)
{
MessageBox.Show("For each State you must define transitions for all input symbols");
return(null);
}
}
}
canvasMain.Children.Clear();
List <State> newStates = new List <State>();
for (int i = 0; i < states.Count; i++)
{
State s = newDiagram.addState(State.getNewStatePosition());
if (initialStatesIndexes.Contains(i))
{
newDiagram.initialStates.Add(s);
s.addStartingArrow(canvasMain);
s.type = stateType.initial;
}
newStates.Add(s);
}
foreach (State s in newStates)
{
State source = s;
foreach (string input in newDiagram.inputs)
{
State dest = table[s.index, getIndexOfInput(input)];
State newDes = dest;
foreach (State ss in newStates)
{
if (ss.index == dest.index)
{
newDes = ss;
break;
}
}
if (newDes != null)
{
if (source != null && newDes != null)
{
string output = "";
foreach (State r in states)
{
if (newDes.index == r.index)
{
output = ((ComboBox)(((StackPanel)(((Label)r.figure.Tag).Content)).Children[1])).SelectedItem.ToString();
break;
}
}
Transition tr = newDiagram.addTransition(source, newDes);
if (tr != null)
{
int index1 = ((ComboBox)((StackPanel)tr.figure.Tag).Children[0]).Items.IndexOf(input);
((ComboBox)((StackPanel)tr.figure.Tag).Children[0]).SelectedIndex = index1;
int index2 = ((ComboBox)((StackPanel)tr.figure.Tag).Children[2]).Items.IndexOf(output);
((ComboBox)((StackPanel)tr.figure.Tag).Children[2]).SelectedIndex = index2;
}
}
}
}
}
return(newDiagram);
}
else
{
if (transitions.Count != noOfInputs * states.Count)
{
MessageBox.Show("Error:There should be transition for each input symbol.");
}
else
{
MessageBox.Show("Error:Set input on each transition/Set output on each state");
}
return(null);
}
}
