private void GetListWords(List <Word> words)
{
ListWords.AddRange(words);
ListWords = ListWords.Distinct(new WordComparer()).ToList();
foreach (Word w in ListWords)
{
w.IsWordAccepted(ListStates, ListTransitions);
}
}
public void CreateTextFile()
{
ListWords = ListWords.Distinct(new WordComparer()).ToList();
string content = "";
content += $"# {Comment}" + Environment.NewLine + Environment.NewLine;
content += $"alphabet: {String.Join("", ListAlphabets)}" + Environment.NewLine;
content += $"stack: {String.Join("", ListStacks)}" + Environment.NewLine;
content += $"states: {String.Join(",", ListStates)}" + Environment.NewLine;
content += $"final: {String.Join(",", ListStates.FindAll(x => x.IsFinal))}" + Environment.NewLine + Environment.NewLine;
content += $"transitions:" + Environment.NewLine;
content += $"{String.Join(Environment.NewLine, ListTransitions)}" + Environment.NewLine;
content += "end." + Environment.NewLine + Environment.NewLine;
content += "dfa: ";
if (IsDFA)
{
content += "y" + Environment.NewLine;
}
else
{
content += "n" + Environment.NewLine;
}
content += "finite: ";
if (IsFinite)
{
content += "y" + Environment.NewLine;
}
else
{
content += "n" + Environment.NewLine;
}
content += Environment.NewLine;
content += $"words:" + Environment.NewLine;
foreach (Word word in ListWords)
{
if (word.IsAccepted)
{
content += word.Words + ",y" + Environment.NewLine;
}
else
{
content += word.Words + ",n" + Environment.NewLine;
}
}
content += "end.";
string file_name = "automaton_" + DateTime.Now.ToString("yyyyMMdd_HHmmss") + ".txt";
File.WriteAllText(file_name, content);
}
