class Test4(TestCase):
def setUp(self):
self.regexp = "a*b*c*d*"
self.nfa = NFAFromRegExp(self.regexp).get_NFA()
self.dfa = DFAFromNFA(self.nfa).get_DFA()
def test_empty(self):
self.assertEqual(True, self.dfa.accept_string(""))
def test_abcd(self):
self.assertEqual(True, self.dfa.accept_string("abcd"))
def test_ad(self):
self.assertEqual(True, self.dfa.accept_string("ad"))
def test_bc(self):
self.assertEqual(True, self.dfa.accept_string("bc"))
def test_abbcccdddd(self):
self.assertEqual(True, self.dfa.accept_string("abbcccdddd"))
def test_dcba(self):
self.assertEqual(False, self.dfa.accept_string("dcba"))
def test_abcde(self):
self.assertEqual(False, self.dfa.accept_string("abcde"))
def test_acd(self):
self.assertEqual(True, self.dfa.accept_string("acd"))
def test_123(self):
self.assertEqual(False, self.dfa.accept_string("123"))
class Test3(TestCase):
def setUp(self):
self.regexp = "b(a|b)(bb|aa)a"
self.nfa = NFAFromRegExp(self.regexp).get_NFA()
self.dfa = DFAFromNFA(self.nfa).get_DFA()
def test_empty(self):
self.assertEqual(False, self.dfa.accept_string(""))
def test_babba(self):
self.assertEqual(True, self.dfa.accept_string("babba"))
def test_bbbba(self):
self.assertEqual(True, self.dfa.accept_string("bbbba"))
def test_bbaaa(self):
self.assertEqual(True, self.dfa.accept_string("bbaaa"))
def test_baaaa(self):
self.assertEqual(True, self.dfa.accept_string("baaaa"))
def test_aba(self):
self.assertEqual(False, self.dfa.accept_string("aba"))
def test_babb(self):
self.assertEqual(False, self.dfa.accept_string("babb"))
def test_baaaaa(self):
self.assertEqual(False, self.dfa.accept_string("baaaaa"))
def test_bbbbaa(self):
self.assertEqual(False, self.dfa.accept_string("bbbbaa"))
class Test1(TestCase):
def setUp(self):
self.regexp = "(a|b)*"
self.nfa = NFAFromRegExp(self.regexp).get_NFA()
self.dfa = DFAFromNFA(self.nfa).get_DFA()
def test_empty(self):
self.assertEqual(True, self.dfa.accept_string(""))
def test_ba(self):
self.assertEqual(True, self.dfa.accept_string("ba"))
def test_ab(self):
self.assertEqual(True, self.dfa.accept_string("ab"))
def test_a(self):
self.assertEqual(True, self.dfa.accept_string("a"))
def test_aaa(self):
self.assertEqual(True, self.dfa.accept_string("aaa"))
def test_aabb(self):
self.assertEqual(True, self.dfa.accept_string("aabb"))
def test_abc(self):
self.assertEqual(False, self.dfa.accept_string("abc"))
"""
# 1. regexp -> NFA
# 2. NFA -> DFA
# 3. DFA -> min DFA
"""
from subprocess import check_call
from nfa import NFAFromRegExp
from dfa import DFAFromNFA
if __name__ == "__main__":
regexp = input("Input regular expression: ")
nfa = NFAFromRegExp(regexp).get_NFA()
dfa_builder = DFAFromNFA(nfa)
dfa = dfa_builder.get_DFA()
min_dfa = dfa_builder.get_minimized_DFA()
print(nfa)
print(dfa)
print(min_dfa)
nfa.display_graph("nfa")
dfa.display_graph("dfa")
min_dfa.display_graph("min_dfa")
strings = ["abb", "ab", "ba", "aaabb", ""]
for s in strings:
print("Accept {}: {}".format(s, dfa.accept_string(s)))
def setUp(self):
self.regexp = "a*b*c*d*"
self.nfa = NFAFromRegExp(self.regexp).get_NFA()
self.dfa = DFAFromNFA(self.nfa).get_DFA()
def setUp(self):
self.regexp = "b(a|b)(bb|aa)a"
self.nfa = NFAFromRegExp(self.regexp).get_NFA()
self.dfa = DFAFromNFA(self.nfa).get_DFA()
def setUp(self):
self.regexp = "(a|b)*abb"
self.nfa = NFAFromRegExp(self.regexp).get_NFA()
self.dfa = DFAFromNFA(self.nfa).get_DFA()