Construct finite automata and push down automata

Assignment Help Theory of Computation
Reference no: EM131719011

Part -1:

1. Construct finite automata, push down automata, Turing machines and regular expressions that models different types of languages.

2. Design various models of computation.

Question 1:

Give DFA's accepting the following languages over the alphabet {0,1}:

i. The set of all strings beginning with a 1 that, when interpreted as a binary integer, is a multiple of 5. For example, strings 101, 1010, and 1111 are in the language; 0, 100, and 111 are not.

ii. The set of all strings that, when interpreted in reverse as a binary integer, is divisible by 5. Examples of strings in the language are 0, 10011, 1001100, and 0101

iii. The set of all strings such that each block of five consecutive symbols contains at least two 0's.

iv. The set of all strings whose tenth symbol from the right end is a 1.

Question 2:

Informally describe the languages accepted by those following DFA's with transition tables (English words or sentence)

2210_matrix.jpg

Note:
- All students should submit individual assignment.
- Copied assignments will not be marked.
- Late assignments will have negative markings.

Part -2:

Design various models of computation.

Question 1:

1. Prove that the followinglanguage are not regular Languages. Justify your answer by using pumping lemma for regular languages.
i. L = {0n 1 0n | n>0}.

ii. L = {0n 12n | n>=1}.

Question 2:

i. Design context-free grammars for the language that contain the set {aibjck |i≠j or j≠k} that is the set of strings of a's followed by b's followed by c's, such that there are either a different number of a's and b's or a different number b's and c's, or both.

ii. The following grammar generates the language of regular expression 0*1(0+1)*:
S → A1B
A → 0A |?
B → 0B |1B|?
Give leftmost and rightmost derivations of the following strings:
a) 00101.
b) 1001.
c) 00011.

Reference no: EM131719011

Questions Cloud

Analyze the complexities of the intergovernmental relations : Explain and analyze the complexities of the intergovernmental relations associated with public policy formulation and implementation in the United States.
Theme park often to ride the thriller diller roller coaster : Mimi took her granddaughter to Roller Coaster World theme park often to ride the Thriller Diller roller coaster.
Discuss making possible influences in a persons life : What role do you see gender, sexual orientation, race, and/or ethnicity playing in society and making possible influences in a person's life
Issue on hrm practices in the workplace : Assess the ethical ramifications of the issue on HRM practices in the workplace?
Construct finite automata and push down automata : Construct finite automata, push down automata, Turing machines and regular expressions that models different types of languages - Design various models
What entry would concord make to record the sale : Concord Company has an old factory machine that cost $56,750. What entry would Concord make to record the sale of the machine for $28,375 cash
How does my conclusion address the complexities of the issue : How does my conclusion address the complexities of the issue? What is another interpretation or viewpoint of the issue?
Consultant to assist in implementing new it system : Edgar, an independent contractor, was hired by ABC Enterprises, Inc. (ABC) as a consultant to assist ABC in implementing a new IT system.
Describe the similarities of leadership styles : Read It's Our Ship", by D. Michael Abrashoff, and "Epictetus", and describe the similarities of leadership styles.

Reviews

len1719011

11/13/2017 12:18:25 AM

Give DFA's accepting the following languages over the alphabet {0,1}: i. The set of all strings beginning with a 1 that, when interpreted as a binary integer, is a multiple of 5. For example, strings 101, 1010, and 1111 are in the language; 0, 100, and 111 are not.

Write a Review

Theory of Computation Questions & Answers

  Why every nonempty propositional clause itself satisfiable

Describe why every nonempty propositional clause, by itself, is satisfiable. Prove rigorously that every set of five 3-SAT clause is satisfiable, given that each clause mentions exactly three distinct variables.

  Write problems which have no solutions

What does the term solvable mean to you? What does it mean to say that "you solved a problem"? Determine examples of problems for which you believe there are no solutions.

  Construct a diagram to map the arguments

Construct a diagram to map the arguments about a moral claim that you have identified and write an essay, which maps closely to the diagram that you constructed in Step 1.

  Create mealy type state machine with input and output

Create the Mealy type state machine with input X and output Y. Y must be 1 whenever sequence 110 or 101 has been detected on X on last 3 consecutive rising clock edges.

  You are aware of the importance of cpd and the knowledge

you are aware of the importance of cpd and the knowledge skills and behaviour required to be effective in an hr role.

  Design 64 fft using vhdl step by step

What is FFT? Design 64 FFT using VHDL, step by step.

  Which states are transient

A state s' in a finite-state machine is said to be reachable from state s if there is an input string x such that f (s, x) = s'.

  Disign a fenite state machine

DISIGN A FENITE STATE MACHINE TO DETECT THE SEQUENCE 10110

  Write a set of bnf grammar rules

Write a set of BNF grammar rules that will parse a programming language that can have variable type declarations. Why the following grammar is Ambiguous.

  How many bits are left for address part of the instruction

How many bits are left for the address part of the instruction - What is the maximum allowable size for memory and what is the largest unsigned binary number that can be accommodated in one word of memory?

  Translate the following english sentences into symbolic

translate the following english sentences into symbolic logic propositions. all variables are quantified over the set

  Write set of token types returned by lexical analyzer

Write down the set of token types to be returned by your lexical analyzer. Describe regular expressions for this set of token types.

Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd