Skip to content

Instantly share code, notes, and snippets.

@hediet
Last active April 28, 2019 19:30
Show Gist options
  • Save hediet/911fe060c95ba5e7ec54f9d5fc7ca1f4 to your computer and use it in GitHub Desktop.
Save hediet/911fe060c95ba5e7ec54f9d5fc7ca1f4 to your computer and use it in GitHub Desktop.
Solution for A and B so that AB = (Q ∪ { ϵ }) for all words up to length 9 and a ϵ A and ab ϵ B
a
aaaaababb
ababa
abababa
b
babab
babababab
aaaaaaaab
aaaaaaab
aaaaaaaba
aaaaaaabb
aaaaaab
aaaaaaba
aaaaaabaa
aaaaaabab
aaaaaabb
aaaaaabbb
aaaaaba
aaaaabaa
aaaaabaaa
aaaaabaab
aaaaabab
aaaaababa
aaaaabb
aaaaabba
aaaaabbaa
aaaaabbab
aaaaabbb
aaaaabbba
aaaaabbbb
aaaab
aaaaba
aaaabaaa
aaaabaaab
aaaabaab
aaaabaaba
aaaabaabb
aaaabab
aaaababa
aaaababaa
aaaababba
aaaababbb
aaaabb
aaaabba
aaaabbaa
aaaabbaaa
aaaabbaab
aaaabbab
aaaabbaba
aaaabbabb
aaaabbb
aaaabbba
aaaabbbaa
aaaabbbab
aaaabbbb
aaaabbbba
aaaabbbbb
aaab
aaaba
aaabaa
aaabaaaa
aaabaaaaa
aaabaaaba
aaabaaabb
aaabaab
aaabaaba
aaabaabaa
aaabaabab
aaabaabb
aaabaabba
aaabaabbb
aaabab
aaababa
aaababaa
aaababaab
aaababab
aaabababa
aaabababb
aaababb
aaababba
aaababbaa
aaababbab
aaababbb
aaababbba
aaababbbb
aaabb
aaabba
aaabbaa
aaabbaaa
aaabbaaaa
aaabbaab
aaabbaaba
aaabbaabb
aaabbab
aaabbaba
aaabbabaa
aaabbabab
aaabbabb
aaabbabba
aaabbabbb
aaabbb
aaabbba
aaabbbaa
aaabbbaaa
aaabbbaab
aaabbbab
aaabbbaba
aaabbbabb
aaabbbb
aaabbbba
aaabbbbaa
aaabbbbab
aaabbbbb
aaabbbbba
aaabbbbbb
aab
aaba
aabaaa
aabaaaa
aabaaaaa
aabaaaaaa
aabaaaaab
aabaaaab
aabaaaabb
aabaaabaa
aabaaabab
aabaaabb
aabaaabba
aabaaabbb
aabaaba
aabaabaaa
aabaabab
aabaababa
aabaababb
aabaabb
aabaabba
aabaabbaa
aabaabbab
aabaabbb
aabaabbba
aabaabbbb
aabab
aababa
aababaaa
aababaaab
aababaab
aababaabb
aababab
aabababa
aabababab
aabababb
aabababba
aabababbb
aababb
aababba
aababbaa
aababbaaa
aababbaab
aababbab
aababbaba
aababbabb
aababbb
aababbba
aababbbaa
aababbbab
aababbbb
aababbbba
aababbbbb
aabb
aabba
aabbaa
aabbaaa
aabbaaaa
aabbaaaaa
aabbaaaab
aabbaaab
aabbaaaba
aabbaaba
aabbaabaa
aabbaabab
aabbaabba
aabbaabbb
aabbab
aabbaba
aabbabaa
aabbabaaa
aabbabaab
aabbabab
aabbababa
aabbababb
aabbabb
aabbabba
aabbabbaa
aabbabbab
aabbabbb
aabbabbba
aabbabbbb
aabbb
aabbba
aabbbaa
aabbbaaa
aabbbaaaa
aabbbaaab
aabbbaab
aabbbaaba
aabbbab
aabbbaba
aabbbabaa
aabbbabab
aabbbabb
aabbbabba
aabbbabbb
aabbbb
aabbbba
aabbbbaa
aabbbbaaa
aabbbbaab
aabbbbab
aabbbbaba
aabbbbabb
aabbbbb
aabbbbba
aabbbbbaa
aabbbbbab
aabbbbbb
aabbbbbba
aabbbbbbb
ab
abaa
abaaa
abaaaa
abaaaaa
abaaaaaa
abaaaaaaa
abaaaaaab
abaaaaab
abaaaaaba
abaaaaabb
abaaaab
abaaaaba
abaaaabab
abaaaabb
abaaaabba
abaaaabbb
abaaab
abaaabaaa
abaaabaab
abaaabab
abaaababa
abaaababb
abaaabb
abaaabba
abaaabbaa
abaaabbab
abaaabbb
abaaabbba
abaaabbbb
abaabaa
abaabaaa
abaabaaaa
abaabaaab
abaabaabb
abaabab
abaababa
abaababab
abaababb
abaababba
abaababbb
abaabb
abaabba
abaabbaa
abaabbaaa
abaabbaab
abaabbab
abaabbaba
abaabbabb
abaabbb
abaabbba
abaabbbaa
abaabbbab
abaabbbb
abaabbbba
abaabbbbb
ababaa
ababaaa
ababaaaa
ababaaaaa
ababaaaab
ababaaab
ababaaabb
ababaab
ababaaba
ababaabaa
ababaabb
ababaabba
ababaabbb
abababaa
abababaaa
ababababb
abababb
abababba
abababbaa
abababbab
abababbb
abababbba
abababbbb
ababb
ababba
ababbaa
ababbaaa
ababbaaaa
ababbaaab
ababbaab
ababbaaba
ababbaabb
ababbab
ababbaba
ababbabaa
ababbabb
ababbabba
ababbabbb
ababbb
ababbba
ababbbaa
ababbbaaa
ababbbaab
ababbbab
ababbbaba
ababbbabb
ababbbb
ababbbba
ababbbbaa
ababbbbab
ababbbbb
ababbbbba
ababbbbbb
abb
abba
abbaa
abbaaa
abbaaaa
abbaaaaa
abbaaaaaa
abbaaaaab
abbaaaab
abbaaaaba
abbaaaabb
abbaaab
abbaaaba
abbaaabaa
abbaaabab
abbaaabb
abbaaabbb
abbaab
abbaaba
abbaabaa
abbaabaaa
abbaabaab
abbaabab
abbaababa
abbaababb
abbaabbaa
abbaabbab
abbaabbb
abbaabbba
abbaabbbb
abbaba
abbabaa
abbabaaa
abbabaaaa
abbabaaab
abbabaab
abbabaaba
abbabaabb
abbabab
abbababa
abbababaa
abbababb
abbababbb
abbabba
abbabbaa
abbabbaaa
abbabbaab
abbabbaba
abbabbb
abbabbba
abbabbbaa
abbabbbab
abbabbbb
abbabbbba
abbabbbbb
abbb
abbba
abbbaa
abbbaaa
abbbaaaa
abbbaaaaa
abbbaaaab
abbbaaab
abbbaaaba
abbbaaabb
abbbaab
abbbaaba
abbbaabaa
abbbaabab
abbbaabb
abbbaabba
abbbab
abbbaba
abbbabaa
abbbabaaa
abbbabaab
abbbabab
abbbababa
abbbababb
abbbabba
abbbabbaa
abbbabbab
abbbabbba
abbbabbbb
abbbb
abbbba
abbbbaa
abbbbaaa
abbbbaaaa
abbbbaaab
abbbbaab
abbbbaaba
abbbbaabb
abbbbab
abbbbaba
abbbbabaa
abbbbabab
abbbbabb
abbbbabba
abbbbb
abbbbba
abbbbbaa
abbbbbaaa
abbbbbaab
abbbbbab
abbbbbaba
abbbbbabb
abbbbbb
abbbbbba
abbbbbbaa
abbbbbbab
abbbbbbb
abbbbbbba
abbbbbbbb
ba
baa
baaa
baaaa
baaaaa
baaaaaa
baaaaaaa
baaaaaaaa
baaaaaaab
baaaaaab
baaaaaaba
baaaaaabb
baaaaab
baaaaaba
baaaaabaa
baaaaabab
baaaaabb
baaaaabba
baaaaabbb
baaaab
baaaaba
baaaabaa
baaaabaab
baaaabab
baaaababa
baaaababb
baaaabb
baaaabba
baaaabbaa
baaaabbab
baaaabbb
baaaabbba
baaaabbbb
baaab
baaaba
baaabaaaa
baaabaaab
baaabaab
baaabaaba
baaabaabb
baaabab
baaababa
baaababaa
baaababab
baaababb
baaababba
baaababbb
baaabb
baaabba
baaabbaa
baaabbaab
baaabbab
baaabbaba
baaabbabb
baaabbb
baaabbba
baaabbbaa
baaabbbab
baaabbbb
baaabbbba
baaabbbbb
baab
baabaaa
baabaaaa
baabaaaaa
baabaaaab
baabaaab
baabaaaba
baabaaabb
baabaab
baabaabab
baabaabb
baabaabba
baabaabbb
baabab
baababa
baababaa
baababaaa
baababab
baabababb
baababb
baababba
baababbaa
baababbab
baababbb
baababbba
baababbbb
baabb
baabba
baabbaaa
baabbaaaa
baabbaaab
baabbaaba
baabbaabb
baabbab
baabbaba
baabbabaa
baabbabab
baabbabb
baabbabba
baabbabbb
baabbb
baabbba
baabbbaa
baabbbaaa
baabbbab
baabbbaba
baabbbabb
baabbbb
baabbbba
baabbbbaa
baabbbbab
baabbbbb
baabbbbba
baabbbbbb
babaa
babaaa
babaaaa
babaaaaa
babaaaaaa
babaaaaab
babaaaab
babaaaaba
babaaaabb
babaaab
babaaaba
babaaabaa
babaaabab
babaaabb
babaaabba
babaaabbb
babaab
babaaba
babaabaa
babaabaaa
babaabaab
babaabab
babaababb
babaabb
babaabba
babaabbaa
babaabbab
babaabbb
babaabbba
babaabbbb
bababaa
bababaaa
bababaaaa
bababaaab
bababaab
bababaaba
bababaabb
babababaa
babababb
babababbb
bababb
bababba
bababbaa
bababbaaa
bababbaab
bababbab
bababbabb
bababbb
bababbba
bababbbaa
bababbbab
bababbbb
bababbbba
bababbbbb
babb
babbaa
babbaaa
babbaaaa
babbaaaaa
babbaaaab
babbaaab
babbaaaba
babbaaabb
babbaab
babbaaba
babbaabaa
babbaabab
babbaabb
babbaabba
babbaabbb
babbaba
babbabaa
babbabaaa
babbabaab
babbabab
babbababa
babbabb
babbabbaa
babbabbb
babbabbba
babbabbbb
babbb
babbba
babbbaa
babbbaaa
babbbaaaa
babbbaaab
babbbaab
babbbaaba
babbbaabb
babbbaba
babbbabaa
babbbabab
babbbabba
babbbabbb
babbbb
babbbba
babbbbaa
babbbbaaa
babbbbaab
babbbbab
babbbbaba
babbbbb
babbbbba
babbbbbaa
babbbbbab
babbbbbb
babbbbbba
babbbbbbb
bba
bbaa
bbaaa
bbaaaa
bbaaaaa
bbaaaaaa
bbaaaaaaa
bbaaaaaab
bbaaaaab
bbaaaaaba
bbaaaaabb
bbaaaab
bbaaaaba
bbaaaabaa
bbaaaabab
bbaaaabb
bbaaaabba
bbaaaabbb
bbaaab
bbaaaba
bbaaabaa
bbaaabaaa
bbaaabaab
bbaaabab
bbaaababa
bbaaababb
bbaaabb
bbaaabba
bbaaabbab
bbaaabbb
bbaaabbba
bbaaabbbb
bbaab
bbaaba
bbaabaa
bbaabaaa
bbaabaaaa
bbaabaaab
bbaabaab
bbaabaaba
bbaabaabb
bbaabab
bbaababa
bbaababaa
bbaababab
bbaababb
bbaababba
bbaababbb
bbaabb
bbaabbaaa
bbaabbaab
bbaabbab
bbaabbaba
bbaabbabb
bbaabbb
bbaabbba
bbaabbbab
bbaabbbb
bbaabbbba
bbaabbbbb
bbab
bbaba
bbabaa
bbabaaa
bbabaaaa
bbabaaaaa
bbabaaaab
bbabaaab
bbabaaaba
bbabaaabb
bbabaab
bbabaaba
bbabaabaa
bbabaabab
bbabaabb
bbabaabba
bbabaabbb
bbabab
bbababa
bbababaa
bbababaaa
bbababaab
bbababab
bbabababa
bbababba
bbababbaa
bbababbb
bbababbba
bbababbbb
bbabbaa
bbabbaaa
bbabbaaaa
bbabbaaab
bbabbaab
bbabbaaba
bbabbaabb
bbabbab
bbabbaba
bbabbabaa
bbabbabab
bbabbabbb
bbabbb
bbabbbaa
bbabbbaaa
bbabbbaab
bbabbbaba
bbabbbabb
bbabbbb
bbabbbba
bbabbbbaa
bbabbbbb
bbabbbbba
bbabbbbbb
bbba
bbbaa
bbbaaa
bbbaaaa
bbbaaaaa
bbbaaaaaa
bbbaaaaab
bbbaaaab
bbbaaaaba
bbbaaaabb
bbbaaab
bbbaaaba
bbbaaabaa
bbbaaabab
bbbaaabb
bbbaaabba
bbbaaabbb
bbbaab
bbbaaba
bbbaabaa
bbbaabaaa
bbbaabaab
bbbaabab
bbbaababa
bbbaababb
bbbaabb
bbbaabba
bbbaabbaa
bbbaabbab
bbbaabbb
bbbaabbbb
bbbab
bbbaba
bbbabaa
bbbabaaa
bbbabaaaa
bbbabaaab
bbbabaab
bbbabaaba
bbbabaabb
bbbabab
bbbababa
bbbababaa
bbbababab
bbbababb
bbbababba
bbbabb
bbbabba
bbbabbaa
bbbabbaaa
bbbabbaab
bbbabbab
bbbabbaba
bbbabbabb
bbbabbbaa
bbbabbbab
bbbabbbb
bbbabbbbb
bbbba
bbbbaa
bbbbaaa
bbbbaaaa
bbbbaaaaa
bbbbaaaab
bbbbaaab
bbbbaaaba
bbbbaaabb
bbbbaab
bbbbaaba
bbbbaabaa
bbbbaabab
bbbbaabb
bbbbaabba
bbbbaabbb
bbbbab
bbbbaba
bbbbabaa
bbbbabaaa
bbbbabaab
bbbbabab
bbbbababa
bbbbababb
bbbbabb
bbbbabba
bbbbabbaa
bbbbabbab
bbbbabbb
bbbbabbba
bbbbba
bbbbbaa
bbbbbaaa
bbbbbaaaa
bbbbbaaab
bbbbbaab
bbbbbaaba
bbbbbaabb
bbbbbab
bbbbbaba
bbbbbabaa
bbbbbabab
bbbbbabb
bbbbbabba
bbbbbabbb
bbbbbba
bbbbbbaa
bbbbbbaaa
bbbbbbaab
bbbbbbab
bbbbbbaba
bbbbbbabb
bbbbbbbba
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment