コード例 #1
0
ファイル: MainViewModel.cs プロジェクト: schneiderjan/ale2
        public MainViewModel(IFileService fileService,
                             IGraphVizService graphVizService,
                             IDfaService dfaService,
                             ILanguageCheckService languageCheckService,
                             IRegularExpressionParserService regularExpressionParserService)
        {
            _fileService                    = fileService;
            _graphVizService                = graphVizService;
            _dfaService                     = dfaService;
            _languageCheckService           = languageCheckService;
            _regularExpressionParserService = regularExpressionParserService;

            _words = new ObservableCollection <string>();
            _file  = new GraphVizFileModel();

            OpenFileCommand               = new RelayCommand(OpenFile, () => true);
            ParseFileCommand              = new RelayCommand(ParseFile, ParseFileCanExecute);
            ShowAutomatonCommand          = new RelayCommand(ShowAutomaton, ShowAutomatonCanExecute);
            VerifyStringCommmand          = new RelayCommand(VerifyString, VerifyStringCanExecute);
            ParseRegularExpressionCommand = new RelayCommand(ParseRegularExpression, ParseRegularExpressionCanExecute);
            CopyRELinesCommand            = new RelayCommand(CopyRELines, () => true);
            ShowAllWordsCommand           = new RelayCommand(ShowAllWords, ShowAutomatonCanExecute);
            ConvertToDfaCommand           = new RelayCommand(ConvertToDfa, ConvertToDfaCanExecute);
            CopyConvertLinesCommand       = new RelayCommand(CopyConvertLines, () => true);

            RegularExpressionInput = "|(a,*b)";
            //|(.(a,*(b)),*(c))
            //|(*(a),.(b,c))
            //"*(|(*(.(a,b)),c))"
            //|(a,*b)
        }
コード例 #2
0
ファイル: FileService.cs プロジェクト: schneiderjan/ale2
        public GraphVizFileModel ConvertAutomatonToGenericFile(AutomatonModel automaton)
        {
            var graphVizFile = new GraphVizFileModel();

            //ALPHABET
            string alphabetLine = "";

            foreach (var letter in automaton.Alphabet)
            {
                alphabetLine += letter;
            }
            graphVizFile.Lines.Add(alphabet + " " + alphabetLine);

            //STATES
            string statesLine = "";

            for (int index = 0; index < automaton.States.Count; index++)
            {
                var automatonState = automaton.States[index];
                if (index == automaton.States.Count - 1)
                {
                    statesLine += automatonState.Name;
                }
                else
                {
                    statesLine += automatonState.Name + ",";
                }
            }
            graphVizFile.Lines.Add(states + " " + statesLine);

            //FINAL
            var finalStates = automaton.States.Where(x => x.IsFinal);
            var finalLine   = "";

            foreach (var finalState in finalStates)
            {
                finalLine += finalState.Name;
            }
            graphVizFile.Lines.Add(final + " " + finalLine);

            //TRANSITIONS
            graphVizFile.Lines.Add("transitions:");
            foreach (var automatonTransition in automaton.Transitions)
            {
                var transitionLine =
                    $"{automatonTransition.BeginState.Name},{automatonTransition.Value} --> {automatonTransition.EndState.Name}";
                graphVizFile.Lines.Add(transitionLine);
            }

            //END.
            graphVizFile.Lines.Add("end.");

            return(graphVizFile);
        }
コード例 #3
0
ファイル: FileService.cs プロジェクト: schneiderjan/ale2
        private Dictionary <string, bool> ReadWords(GraphVizFileModel graphVizFileModel, int lower, int upper)
        {
            var words = new Dictionary <string, bool>();

            for (int i = lower; i < upper; i++)
            {
                var line       = graphVizFileModel.Lines[i];
                var chars      = SplitOnComma(line);
                var isAccepted = chars[1] == "y";
                words.Add(chars[0], isAccepted);
            }
            return(words);
        }
コード例 #4
0
ファイル: GraphVizService.cs プロジェクト: schneiderjan/ale1
        public GraphVizFileModel ConvertExpressionModelToGraphVizFile(ExpressionModel expressionModel)
        {
            var file = new GraphVizFileModel();

            file.Lines.Add("graph logic {");
            file.Lines.Add("node[fontname = \"Arial\"]");

            var currentNode = expressionModel.TreeNodes.FirstOrDefault();

            RecursivelyAddLines(file, currentNode);

            file.Lines.Add("}");

            return(file);
        }
コード例 #5
0
ファイル: GraphVizService.cs プロジェクト: schneiderjan/ale1
        private void RecursivelyAddLines(GraphVizFileModel file, NodeModel currentNode)
        {
            //Add node to graph
            file.Lines.Add($"node{currentNode.Id} [ label = \"{currentNode.Value}\" ]");

            //Add connection to childs
            if (currentNode.LeftChild != null)
            {
                file.Lines.Add($"node{currentNode.Id} -- node{currentNode.LeftChild.Id}");
                RecursivelyAddLines(file, currentNode.LeftChild);
            }
            if (currentNode.RightChild != null)
            {
                file.Lines.Add($"node{currentNode.Id} -- node{currentNode.RightChild.Id}");
                RecursivelyAddLines(file, currentNode.RightChild);
            }
        }
コード例 #6
0
ファイル: FileService.cs プロジェクト: schneiderjan/ale2
        private List <TransitionModel> ReadRegularAutomatonTransitions(GraphVizFileModel graphVizFileModel, int lower, int upper, AutomatonModel automaton)
        {
            var transitions = new List <TransitionModel>();

            for (int i = lower; i < upper; i++)
            {
                var transition = new TransitionModel();

                var transitionString = graphVizFileModel.Lines[i];
                var beginStateString = transitionString.Substring(0, transitionString.IndexOf(',')).Trim();
                var valueString      =
                    transitionString.Substring(transitionString.IndexOf(',') + 1, transitionString.IndexOf('-') - 2)
                    .Trim();
                var endStateString = transitionString.Substring(transitionString.IndexOf('>') + 1).Trim();

                foreach (var state in automaton.States)
                {
                    if (state.Name.Equals(beginStateString) && i == lower)
                    {
                        transition.BeginState = state;
                        state.IsInitial       = true;
                    }
                    else if (state.Name.Equals(beginStateString))
                    {
                        transition.BeginState = state;
                    }
                    if (state.Name.Equals(endStateString))
                    {
                        transition.EndState = state;
                    }
                    if (transition.BeginState != null && transition.EndState != null)
                    {
                        break;
                    }
                }
                valueString = valueString.ToLower();
                if (valueString.Equals("_"))
                {
                    valueString = "ε";
                }
                transition.Value = valueString;

                transitions.Add(transition);
            }
            return(transitions);
        }
コード例 #7
0
        public GraphVizFileModel ConvertToGraphVizFile(AutomatonModel automaton)
        {
            var file = new GraphVizFileModel();

            file.Lines.Add("digraph myAutomaton {");
            file.Lines.Add("rankdir=LR;");
            file.Lines.Add("\"\"[shape = none]");

            //Add initials
            foreach (var automatonState in automaton.States)
            {
                if (automatonState.IsFinal && automatonState.IsInitial)
                {
                    file.Lines.Add($"\"{automatonState.Name}\" [shape=doublecircle]");
                    file.Lines.Add($"\"\" -> \"{automatonState.Name}\"");
                }
                else if (automatonState.IsFinal)
                {
                    file.Lines.Add($"\"{automatonState.Name}\" [shape=doublecircle]");
                }
                else if (automatonState.IsInitial)
                {
                    file.Lines.Add($"\"{automatonState.Name}\" [shape=circle]");
                    file.Lines.Add($"\"\" -> \"{automatonState.Name}\"");
                }
                else
                {
                    file.Lines.Add($"\"{automatonState.Name}\" [shape=circle]");
                }
            }

            //add transitions
            foreach (var transition in automaton.Transitions)
            {
                file.Lines.Add($"\"{transition.BeginState.Name}\" -> \"{transition.EndState.Name}\" [label=\"{transition.Value}\"]");
            }

            file.Lines.Add("}");

            return(file);
        }
コード例 #8
0
ファイル: FileService.cs プロジェクト: schneiderjan/ale2
        public GraphVizFileModel ReadFile()
        {
            GraphVizFileModel fileModel = new GraphVizFileModel();

            // Create OpenFileDialog
            Microsoft.Win32.OpenFileDialog dlg = new Microsoft.Win32.OpenFileDialog();

            // Set filter for fileModel extension and default fileModel extension
            dlg.DefaultExt = ".txt";
            dlg.Filter     = "Text documents (.txt)|*.txt";

            // Display OpenFileDialog by calling ShowDialog method
            var result = dlg.ShowDialog();

            // Get the selected fileModel name and display in a TextBox
            if (result == true)
            {
                // Open document
                string filename = dlg.FileName;
                fileModel.FilePath = filename;
                fileModel.Lines    = System.IO.File.ReadLines(filename).ToList();
            }
            return(fileModel);
        }
コード例 #9
0
ファイル: MainViewModel.cs プロジェクト: schneiderjan/ale1
        private void ParsePrefix()
        {
            //Conversion to Infix and Distinct variables of expression
            Infix = _fixConversionService.ParsePrefix(_expressionModel);
            _fixConversionService.GetDistinctVariables(_expressionModel);

            //Display Graph: create GraphVizFileModel, write to dot-file, create and open png-file of graph
            _graphVizFileModel = _graphVizService.ConvertExpressionModelToGraphVizFile(_expressionModel);
            _fileService.WriteGraphVizFileToDotFile(_graphVizFileModel.Lines, "infix");
            _graphVizService.DisplayGraph("infix");

            //Create string for expressionModel.Binary with distinct values
            string distinctVariables = null;

            foreach (var c in _expressionModel.DistinctVariables)
            {
                distinctVariables += c + " ";
            }
            DistinctVariables = distinctVariables;

            //Build truth table
            TruthTable = new ObservableCollection <string>(_truthTableService.GetTruthTable(_expressionModel));
            Hash       = _truthTableService.CalculateHash(_expressionModel);

            //Simplification of truth table
            SimplifiedTruthTable =
                new ObservableCollection <string>(_truthTableService.SimplifyTruthTable(_expressionModel));

            //Disjuntive normal form of input
            DisjunctiveNormalForm = _truthTableService.GetDisjunctiveNormalForm(_expressionModel);
            _expressionModelDisjunctiveNormalForm.Prefix            = DisjunctiveNormalForm;
            _expressionModelDisjunctiveNormalForm.DistinctVariables = _expressionModel.DistinctVariables;

            //Calculate truth table and parse infix of DNF
            _fixConversionService.ParsePrefix(_expressionModelDisjunctiveNormalForm);
            _truthTableService.GetTruthTable(_expressionModelDisjunctiveNormalForm);

            //Get hash of DNF
            HashDisjunctiveNormalForm = _truthTableService.CalculateHash(_expressionModelDisjunctiveNormalForm);
            _graphVizFileModel        =
                _graphVizService.ConvertExpressionModelToGraphVizFile(_expressionModelDisjunctiveNormalForm);
            _fileService.WriteGraphVizFileToDotFile(_graphVizFileModel.Lines, "dnf");
            _graphVizService.DisplayGraph("dnf");

            //Simplified Disjunctive normal form of input
            SimplifiedDisjunctiveNormalForm = _truthTableService.GetSimplifiedDisjunctiveNormalForm(_expressionModel);
            _expressionModelSimplifiedDisjunctiveNormalForm.Prefix            = SimplifiedDisjunctiveNormalForm;
            _expressionModelSimplifiedDisjunctiveNormalForm.DistinctVariables = _expressionModel.DistinctVariables;
            _expressionModelSimplifiedDisjunctiveNormalForm.TruthTable.Rows   =
                _expressionModel.TruthTable.Rows;
            _expressionModelSimplifiedDisjunctiveNormalForm.TruthTable.RowsSimplified =
                _expressionModel.TruthTable.RowsSimplified;

            //Calculate truth table and parse infix of Simpl. DNF
            _fixConversionService.ParsePrefix(_expressionModelSimplifiedDisjunctiveNormalForm);
            _truthTableService.RevertTruthTableSimplification(_expressionModelSimplifiedDisjunctiveNormalForm, _expressionModel.TruthTable.Binary);

            //Get hash of Simpl. DNF
            HashDisjunctiveNormalFormSimplified = _truthTableService.CalculateHash(_expressionModelSimplifiedDisjunctiveNormalForm);
            _graphVizFileModel = _graphVizService.ConvertExpressionModelToGraphVizFile(_expressionModelSimplifiedDisjunctiveNormalForm);
            _fileService.WriteGraphVizFileToDotFile(_graphVizFileModel.Lines, "sdnf");
            _graphVizService.DisplayGraph("sdnf");

            //Nand
            Nand = _fixConversionService.GetNandForm(_expressionModel);
            _expressionModelNand.Prefix            = Nand;
            _expressionModelNand.DistinctVariables = _expressionModel.DistinctVariables;

            //Calculate truth table and parse infix of Nand
            _fixConversionService.ParsePrefix(_expressionModelNand);
            _truthTableService.GetTruthTable(_expressionModelNand);

            //Get has of Nand
            HashNand           = _truthTableService.CalculateHash(_expressionModelNand);
            _graphVizFileModel = _graphVizService.ConvertExpressionModelToGraphVizFile(_expressionModelNand);
            _fileService.WriteGraphVizFileToDotFile(_graphVizFileModel.Lines, "nand");
            _graphVizService.DisplayGraph("nand");
        }
コード例 #10
0
ファイル: FileService.cs プロジェクト: schneiderjan/ale2
        public AutomatonModel ParseGraphVizFile(GraphVizFileModel graphVizFileModel)
        {
            string states   = "states:";
            string final    = "final:";
            string alphabet = "alphabet:";
            string stack    = "stack:";

            var automaton = new AutomatonModel();

            foreach (var line in graphVizFileModel.Lines)
            {
                if (line.Contains(alphabet))
                {
                    var chars = GetSubstring(line, alphabet);
                    foreach (var c in chars)
                    {
                        automaton.Alphabet.Add(char.ToLower(c));
                    }
                }
                else if (line.Contains(stack))
                {
                    var chars = GetSubstring(line, stack);
                    foreach (var c in chars)
                    {
                        automaton.AccecptedStack.Add(char.ToLower(c).ToString());
                    }
                    automaton.IsPda = true;
                }
                else if (line.Contains(states))
                {
                    var sub   = GetSubstring(line, states);
                    var chars = SplitOnComma(sub);
                    foreach (var c in chars)
                    {
                        var state = new StateModel()
                        {
                            Name = c.ToUpper()
                        };
                        automaton.States.Add(state);
                    }
                }
                else if (line.Contains(final))
                {
                    var sub   = GetSubstring(line, final);
                    var chars = SplitOnComma(sub);
                    foreach (var c in chars)
                    {
                        foreach (var state in automaton.States)
                        {
                            if (c.Equals(state.Name))
                            {
                                state.IsFinal = true;
                            }
                        }
                    }
                }
                else if (line.Contains("transitions"))
                {
                    var lower = graphVizFileModel.Lines.IndexOf(line) + 1;
                    //todo: change upper to next "end."
                    var upper = FindUpperLimit(graphVizFileModel.Lines.IndexOf(line), graphVizFileModel.Lines);

                    var transitions = new List <TransitionModel>();
                    transitions = !automaton.IsPda ?
                                  ReadRegularAutomatonTransitions(graphVizFileModel, lower, upper, automaton) :
                                  ReadPdaTransitions(graphVizFileModel, lower, upper, automaton);

                    automaton.Transitions = transitions;
                    //break;
                }
                else if (line.Contains("words"))
                {
                    var lower = graphVizFileModel.Lines.IndexOf(line) + 1;
                    var upper = FindUpperLimit(graphVizFileModel.Lines.IndexOf(line), graphVizFileModel.Lines);
                    automaton.Words = ReadWords(graphVizFileModel, lower, upper);
                }
                else if (line.Contains("dfa"))
                {
                    var last = line[line.Length - 1];
                    automaton.IsDfaInFile = last == 'y';
                }
                else if (line.Contains("finite"))
                {
                    var last = line[line.Length - 1];
                    automaton.IsFiniteInFile = last == 'y';
                }
            }
            return(automaton);
        }
コード例 #11
0
ファイル: FileService.cs プロジェクト: schneiderjan/ale2
        private List <TransitionModel> ReadPdaTransitions(GraphVizFileModel graphVizFileModel, int lower, int upper, AutomatonModel automaton)
        {
            var transitions = new List <TransitionModel>();

            for (int i = lower; i < upper; i++)
            {
                var transition = new TransitionModel();

                var transitionString = graphVizFileModel.Lines[i];
                var beginStateString = transitionString.Substring(0, transitionString.IndexOf(',')).Trim();

                string valueString = "", leftStackString = "", rightStackString = "";
                if (transitionString.Contains("["))
                {
                    valueString =
                        transitionString.Substring(transitionString.IndexOf(',') + 1, transitionString.IndexOf('[') - 2)
                        .Trim();
                    leftStackString = transitionString.Substring(transitionString.IndexOf('[') + 1,
                                                                 transitionString.IndexOf(',')).ToLower();

                    rightStackString = transitionString.Substring(transitionString.IndexOf(',', transitionString.IndexOf(',') + 1) + 1, 1).ToLower();
                }
                else
                {
                    valueString =
                        transitionString.Substring(transitionString.IndexOf(',') + 1, transitionString.IndexOf(',') + 3)
                        .Trim();
                    leftStackString  = "_";
                    rightStackString = "_";
                }
                var endStateString = transitionString.Substring(transitionString.IndexOf('>') + 1).Trim();

                foreach (var state in automaton.States)
                {
                    if (state.Name.Equals(beginStateString) && i == lower)
                    {
                        transition.BeginState = state;
                        state.IsInitial       = true;
                    }
                    else if (state.Name.Equals(beginStateString))
                    {
                        transition.BeginState = state;
                    }
                    if (state.Name.Equals(endStateString))
                    {
                        transition.EndState = state;
                    }
                    if (transition.BeginState != null && transition.EndState != null)
                    {
                        break;
                    }
                }
                valueString = valueString.ToLower();
                if (valueString.Equals("_"))
                {
                    valueString = "ε";
                }
                if (leftStackString.Equals("_"))
                {
                    leftStackString = "ε";
                }
                if (rightStackString.Equals("_"))
                {
                    rightStackString = "ε";
                }

                transition.PushStack = rightStackString;
                transition.PopStack  = leftStackString;
                transition.Value     = valueString;
                transitions.Add(transition);
            }
            return(transitions);
        }