Explore BrainMass
Share

Theory of Computation

This content was STOLEN from BrainMass.com - View the original, and get the already-completed solution here!

Consider the following three languages, all subsets of Σ* where Σ={a,b}:

(1) L1 = {w l w is a word with odd number of a's}
(2) L2 = {w l w is a word that ends with a b}

(this question is asking for a word that ends with one b)

(3) L3 = {w l w is a word with even length}

From these:

(a) Construct three DFA's (deterministic finite state automata's) that recognize these three languages

(b) Construct a DFA (deterministic finite state automata) that recognizes L1 intersection L2

(c) Construct a DFA (deterministic finite state automata that recognizes L2 union L3)

Please consult the attached file for the complete problem.

© BrainMass Inc. brainmass.com October 24, 2018, 7:23 pm ad1c9bdddf
https://brainmass.com/computer-science/programming-languages/theory-computation-computer-science-problem-66272

Solution Summary

The theory of computation is applied. An deterministic finite state for automata that recognize these three languages is determined.

\$2.19