public void TestEndsWith1()
{
var sp = new State("p");
var sq = new State("q");
var i0 = new Symbol("0");
var i1 = new Symbol("1");
var states = new HashSet <State> {
sp, sq
};
var alphabet = new Alphabet(new HashSet <Symbol> {
i0, i1
});
var transitionFunction = new NondeterministicFiniteTransitionFunction(new HashSet <NondeterministicFinitePartialTransitionFunction>
{
new NondeterministicFinitePartialTransitionFunction(sp, i0, new HashSet <State> {
sp
}),
new NondeterministicFinitePartialTransitionFunction(sp, i1, new HashSet <State> {
sp, sq
}),
new NondeterministicFinitePartialTransitionFunction(sq, i0, new HashSet <State> ()),
new NondeterministicFinitePartialTransitionFunction(sq, i1, new HashSet <State> ())
});
var acceptStates = new HashSet <State> {
sq
};
// Ends with a 1
var automaton = new NondeterministicFiniteAutomaton(
states,
alphabet,
transitionFunction,
sp,
acceptStates
);
var negative = Word.Parse("0000111010011010", alphabet);
var positive = Word.Parse("0011100101001001", alphabet);
Assert.False(automaton.Accepts(negative));
Assert.True(automaton.Accepts(positive));
for (var i = 0; i < 10; i++)
{
var randomNegative = Word.Parse(string.Join("", Enumerable.Range(1, Random.Next(20)).Select(_ => Random.Next(2))) + "0", alphabet);
var randomPositive = Word.Parse(string.Join("", Enumerable.Range(1, Random.Next(20)).Select(_ => Random.Next(2))) + "1", alphabet);
Assert.False(automaton.Accepts(randomNegative));
Assert.True(automaton.Accepts(randomPositive));
}
}
static void Main(string[] args)
{
string input = "aa";
string Alphabet = "ab";
string RegEx = "a?b";
List <string> RegularGrammar = new List <string>();
HashSet <string> words = new HashSet <string>();
words.Add("abbca");
words.Add("abb");
words.Add("abc");
words.Add("c");
RegularGrammar.Add("<S> ::= 'abc'<A> | 'b'<B>");
RegularGrammar.Add("<A> ::= 'bbaa'<B> | 'ε'");
RegularGrammar.Add("<B> ::= 'a'<A> | 'bb'");
AutomataBuilder builder = new AutomataBuilder();
NondeterministicFiniteAutomaton NFA1 = builder.BuildAutomatonFromRegularExpression(RegEx, Alphabet);
NondeterministicFiniteAutomaton NFA3 = builder.BuildAutomatonFromRegularGrammar(RegularGrammar);
NondeterministicFiniteAutomaton NFA4 = builder.BuildAutomatonFronDerivationOfRegularExpression(words);
//NFA4.DeleteEpsilonTransitions();
DeterministicFiniteAutomaton DFA4 = NFA4.ConvertToDeterministicFiniteAutomaton();
string dotcodeDfa4 = DFA4.GetDotSourceCode();
string dotcodeNfa4 = NFA4.GetDotSourceCode();
string dotcode = NFA3.GetDotSourceCode();
string dotcodeNFA1 = NFA1.GetDotSourceCode();
DeterministicFiniteAutomaton DFA1 = NFA1.ConvertToDeterministicFiniteAutomaton();
string dotcodeDfa1 = DFA1.GetDotSourceCode();
List <State> states = new List <State>();
/*states.Add(new State(1, "q0", true, false));
* states.Add(new State(2, "q1", false, false));
* states.Add(new State(3, "q2", false, false));
* states.Add(new State(4, "q3", false, false));
* states.Add(new State(5, "q4", false, false));
* states.Add(new State(6, "q5", false, false));
* states.Add(new State(7, "q6", false, false));
* states.Add(new State(8, "q7", false, true));
* states.Add(new State(9, "q8", false, true));
* states.Add(new State(10, "q9", false, false));
* states.Add(new State(11, "q10", false, false));
* states.Add(new State(12, "q11", false, true));
* states.Add(new State(13, "q12", false, false));*/
states.Add(new State(1, "q0", false, false));
states.Add(new State(2, "q1", false, false));
states.Add(new State(3, "q2", false, false));
states.Add(new State(4, "q3", false, true));
states.Add(new State(5, "q4", true, false));
states.Add(new State(6, "q5", false, false));
states.Add(new State(7, "q6", false, false));
states.Add(new State(8, "q7", false, true));
List <DeltaFunctionTriplet> dft = new List <DeltaFunctionTriplet>();
/*dft.Add(new DeltaFunctionTriplet(1, 'a', 3));
* dft.Add(new DeltaFunctionTriplet(3, 'a', 2));
* dft.Add(new DeltaFunctionTriplet(2, 'a', 4));
* dft.Add(new DeltaFunctionTriplet(2, 'a', 5));
* dft.Add(new DeltaFunctionTriplet(2, 'a', 6));
* dft.Add(new DeltaFunctionTriplet(5, 'a', 7));
* dft.Add(new DeltaFunctionTriplet(6, 'a', 8));
* dft.Add(new DeltaFunctionTriplet(6, 'a', 9));
* dft.Add(new DeltaFunctionTriplet(13, 'a', 11));*/
dft.Add(new DeltaFunctionTriplet(1, 'b', 5));
dft.Add(new DeltaFunctionTriplet(1, 'a', 2));
dft.Add(new DeltaFunctionTriplet(2, 'a', 6));
dft.Add(new DeltaFunctionTriplet(2, 'b', 3));
dft.Add(new DeltaFunctionTriplet(3, 'a', 4));
dft.Add(new DeltaFunctionTriplet(3, 'b', 7));
dft.Add(new DeltaFunctionTriplet(4, 'a', 8));
dft.Add(new DeltaFunctionTriplet(4, 'b', 4));
dft.Add(new DeltaFunctionTriplet(5, 'a', 6));
dft.Add(new DeltaFunctionTriplet(5, 'b', 1));
dft.Add(new DeltaFunctionTriplet(6, 'a', 2));
dft.Add(new DeltaFunctionTriplet(6, 'b', 7));
dft.Add(new DeltaFunctionTriplet(7, 'a', 8));
dft.Add(new DeltaFunctionTriplet(7, 'b', 3));
dft.Add(new DeltaFunctionTriplet(8, 'a', 8));
dft.Add(new DeltaFunctionTriplet(8, 'b', 4));
SortedList <int, List <int> > EpsilonTransition = new SortedList <int, List <int> >();
/*EpsilonTransition.Add(1, new List<int> { 2 });
* EpsilonTransition.Add(4, new List<int> { 7 });
* EpsilonTransition.Add(7, new List<int> { 12 });
* EpsilonTransition.Add(8, new List<int> { 10, 12 });
* EpsilonTransition.Add(9, new List<int> { 11 });
* EpsilonTransition.Add(10, new List<int> { 12 });*/
EpsilonTransition.Add(4, new List <int> {
3
});
EpsilonTransition.Add(3, new List <int> {
2
});
DeterministicFiniteAutomaton DFA = new DeterministicFiniteAutomaton(states, Alphabet, dft);
DFA.DeleteEquivalentStates();
string test = DFA.GetDotSourceCode();
NondeterministicFiniteAutomaton NFA = new NondeterministicFiniteAutomaton(states, Alphabet, dft, EpsilonTransition);
if (NFA.Accepts(input))
{
Console.WriteLine("Prijima");
}
else
{
Console.WriteLine("Neprijima");
}
string dot = NFA.GetDotSourceCode();
NFA.DeleteEpsilonTransitions();
DeterministicFiniteAutomaton DFA2 = NFA.ConvertToDeterministicFiniteAutomaton();
//DFA.DeleteEquivalentStates();
//DFA.Save2Xml();
//NFA.Save2Xml("test.xml");
//NFA.DeleteUnnecessaryStates();
//NFA.DeleteUnattainableStates();
NondeterministicFiniteAutomaton NFA2 = XmlAutomataReader.ReadFromXml("test.xml");
/* states.Add(new State(1, "q0", true, true));
* states.Add(new State(2, "q1", false, false));
* states.Add(new State(3, "q2", false, false));
* states.Add(new State(4, "q3", false, true));
* states.Add(new State(5, "q4", false, true));
*
* List<DeltaFunctionTriplet> dft = new List<DeltaFunctionTriplet>();
* dft.Add(new DeltaFunctionTriplet(1, 'b', 1));
* dft.Add(new DeltaFunctionTriplet(1, 'a', 2));
* dft.Add(new DeltaFunctionTriplet(2, 'a', 4));
* dft.Add(new DeltaFunctionTriplet(2, 'b', 5));
* dft.Add(new DeltaFunctionTriplet(3, 'a', 1));
* dft.Add(new DeltaFunctionTriplet(3, 'b', 4));
* dft.Add(new DeltaFunctionTriplet(4, 'a', 1));
* dft.Add(new DeltaFunctionTriplet(4, 'b', 3));
* dft.Add(new DeltaFunctionTriplet(5, 'a', 4));
* dft.Add(new DeltaFunctionTriplet(5, 'b', 5));
*
* DeterministicFiniteAutomaton DFA = new DeterministicFiniteAutomaton(states, Alphabet, dft);
* if(DFA.Accepts(input))
* {
* Console.WriteLine("prijima");
* }
* else
* {
* Console.WriteLine("neprijima");
* }*/
}
public void Test2Or3()
{
var s0 = new State("0");
var s1 = new State("1");
var s2 = new State("2");
var s3 = new State("3");
var s4 = new State("4");
var s5 = new State("5");
var i0 = new Symbol("0");
var states = new HashSet <State> {
s0, s1, s2, s3, s4, s5
};
var initialState = s0;
var alphabet = new Alphabet(new HashSet <Symbol> {
i0
});
var acceptStates = new HashSet <State> {
s1, s3
};
var transitionFunction = new NondeterministicFiniteTransitionFunction(new HashSet <NondeterministicFinitePartialTransitionFunction>
{
new NondeterministicFinitePartialTransitionFunction(s0, Symbol.EPSILON, new HashSet <State> {
s1, s3
}),
new NondeterministicFinitePartialTransitionFunction(s1, i0, new HashSet <State> {
s2
}),
new NondeterministicFinitePartialTransitionFunction(s2, i0, new HashSet <State> {
s1
}),
new NondeterministicFinitePartialTransitionFunction(s3, i0, new HashSet <State> {
s4
}),
new NondeterministicFinitePartialTransitionFunction(s4, i0, new HashSet <State> {
s5
}),
new NondeterministicFinitePartialTransitionFunction(s5, i0, new HashSet <State> {
s3
})
});
// Contains 2 or 3 zeros
var automaton = new NondeterministicFiniteAutomaton(
states,
alphabet,
transitionFunction,
initialState,
acceptStates);
var negative = Word.Parse("00000", alphabet);
var positive = Word.Parse("000", alphabet);
Assert.False(automaton.Accepts(negative));
Assert.True(automaton.Accepts(positive));
for (var i = 0; i < 10; i++)
{
var unknown = Word.Parse(string.Join("", Enumerable.Repeat(0, Random.Next(5, 20))), alphabet);
if (unknown.Count() % 3 == 0 || unknown.Count() % 2 == 0)
{
Assert.True(automaton.Accepts(unknown));
}
else
{
Assert.False(automaton.Accepts(unknown));
}
}
}