Draw an FSA that recognizes: (A∗ | AB+). (The bar outscopes the other operators, so its equal to: (A∗) | (AB+).) Use as few states possible

Question

I've attached what I have. My problem is that I don't know if its correct and if I've even used the fewest states possible to answer this question. Really appreciate any help on what I currently did wrong this is what i have currently

Welcome to Stack Overflow. Please take the [tour] to learn how Stack Overflow works and read [ask] on how to improve the quality of your question. Then check the [help/on-topic] to see which questions are on-topic on this site. You might want to delete this question and ask it on https://cs.stackexchange.com/ instead, but check the help pages there first. — Progman, Feb 14 '22 at 23:36

Oliver Mason · Answer 1 · 2022-03-01T08:36:42.737

I would start by creating two FSAs, one for each of the branches.

For A* you only need one state.

For AB+ you need three states.

Then you merge the two. Assuming it does not have to be deterministic, the total FSA ends up with three states as well, two of which are final states.

As you tagged your question dfa — a deterministic FSA would need 4 states in total:

Start state: 1; Final States: 1,2,3,4

Transitions:

1 - a -> 2
2 - a -> 4
2 - b -> 3
3 - b -> 3
4 - a -> 4

That is a DFA that recognises (a*|ab+):

Draw an FSA that recognizes: (A∗ | AB+). (The bar outscopes the other operators, so its equal to: (A∗) | (AB+).) Use as few states possible

1 Answers1