Draw a finite automaton for the following expressions. (i) a*ba*ab* (ii) b((aab* U a*)b)'a (iii) ab (ba)* U bb)* ua) b

What kinds of computation problems does a logic programming language like Prologue solve most effectively?

Logic is used in formal methods. Conceptually, propositional and predicate logic are the most common types of logic.    A first-year student in discrete mathematics wants to use propositional and conditional logics to test software. Assist this kid.    One idea is to talk about what's good and bad about reasoning and software testing. How should testing of formal programmes be done? Which reason is the best?

What are the different categories of computer issues that a logic programming language like Prolog is most suited to resolve in the most time and cost effective manner?