equal
deleted
inserted
replaced
77 nfa1.accepts2("aaaaa".toList) // false |
77 nfa1.accepts2("aaaaa".toList) // false |
78 nfa1.accepts2("aaaaab".toList) // true |
78 nfa1.accepts2("aaaaab".toList) // true |
79 nfa1.accepts2("aaaaabbb".toList) // true |
79 nfa1.accepts2("aaaaabbb".toList) // true |
80 nfa1.accepts2("aaaaabbbaaa".toList) // false |
80 nfa1.accepts2("aaaaabbbaaa".toList) // false |
81 nfa1.accepts2("ac".toList) // false |
81 nfa1.accepts2("ac".toList) // false |
|
82 |
|
83 |
|
84 |
|
85 |
|
86 // subset constructions |
|
87 |
|
88 def subset(nfa: NFA[A, C]) : DFA[Set[A], C] = |