Solve the problem showing all steps. Thoroughly explain how and why you performed each step with complete sentences.
A finite-state automaton is given by the 5-tuple (Q, ?, ?, q, F), where
Q = the finite set of states = {A, B, C}
? = the Alphabet (inputs) = {x, y}
? = the transition function using the alphabet as inputs to the states
q = the initial state = {A}
F = Accepting (or final) state = {C}
The transition table for the automaton is given by:
?
?
x
y
A
A
B
B
A
C
C
A
C
(i). Draw the corresponding transition diagram (digraph).
Draw diagram here
(ii). Provide 5 strings that are in the language generated by the automaton.
Provide strings here
(iii). Provide 5 strings, that use the same inputs, which are not in the language generated by the automata.
Provide strings here
(iv). Write a general statement that describes when a string is part of the language generated by the above automata and when that string is not in
the language.
Provide statement here
?
x
?
y
A
B
C
A
A
A
B
C
C
Separation of Lanthanides/ Lanthanides and Actinides
Solve the problem showing all steps. Thoroughly explain how and why you performed each step with com
1. Solve the problemshowingallsteps. Thoroughlyexplainhowand whyyouperformed eachstep withcomplete sentences.
Afinite-state automatonis givenbythe 5-tuple (Q, ?, ?, q, F), where
Q = the finite set ofstates = {A, B, C}
? = the Alphabet (inputs) = {x, y}
? = the transitionfunctionusingthe alphabet as inputs to the states
q = the initialstate = {A}
F = Accepting(or final) state = {C}
The transitiontable for the automatonis givenby:
?
?
x
y
A
A
B
B
A
C
C
A
C
(i). Drawthe correspondingtransitiondiagram(digraph).
Drawdiagramhere
(ii). Provide 5 strings that are inthe language generated bythe automaton.
Provide strings here
(iii). Provide 5 strings, that use the same inputs, whichare not inthe language generated bythe automata.
Provide strings here
(iv). Write a generalstatement that describes whena stringis part ofthe language generated bythe above automata and whenthat stringis not in
the language.
Provide statement here
? ?
x y
