gistfile1.txt

@@@@@@ CNFA starts consuming!
Configurations: 1
Configurations: 1
Configurations: 1
Configurations: 1
Configurations: 1
Configurations: 1
Configurations: 1
Configurations: 1
Configurations: 1
Configurations: 1
Configurations: 1
Configurations: 1
Configurations: 0
Configurations: 0
Configurations: 0
Configurations: 0
Configurations: 0
Configurations: 0
Configurations: 0
Configurations: 0
Configurations: 0
Configurations: 0
Configurations: 0
Initial state: q0
Transitions: [
        [q0, a, q1, [1<=v1<=1], [v1+=0]],
        [q0, b, q2, [1<=v1<=1], [v1+=0]],
        [q0, a, q3, [1<=v1<=1], [v1+=0]],
        [q1, a, q3, [1<=v1<=inf], [v1+=0]],
        [q2, a, q3, [1<=v1<=inf], [v1+=0]],
        [q4, a, q4, [1<=v1<=9], [v1+=1]],
        [q4, b, q5, [1<=v1<=9], [v1+=1]],
        [q5, a, q4, [1<=v1<=9], [v1+=1]],
        [q5, b, q5, [1<=v1<=9], [v1+=1]],
        [q3, a, q4, [1<=v1<=inf], [v1+=0]],
        [q3, b, q5, [1<=v1<=inf], [v1+=0]]
]
Acceptance: {q4=[10<=v1<=10], q5=[10<=v1<=10]}

bababbaaaaabaaabbaabbab in (((a|b)*a)(a|b){10}): false (41)