FORMAL LANGUAGES & AUTOMATA THEORY

Similar documents
Language properties and Grammar of Parallel and Series Parallel Languages

Grammars & Parsing, Part 1:

Informatics 2A: Language Complexity and the. Inf2A: Chomsky Hierarchy

A R "! I,,, !~ii ii! A ow ' r.-ii ' i ' JA' V5, 9. MiN, ;

COMPUTATIONAL COMPLEXITY OF LEFT-ASSOCIATIVE GRAMMAR

RANKING AND UNRANKING LEFT SZILARD LANGUAGES. Erkki Mäkinen DEPARTMENT OF COMPUTER SCIENCE UNIVERSITY OF TAMPERE REPORT A ER E P S I M S

A General Class of Noncontext Free Grammars Generating Context Free Languages

Enumeration of Context-Free Languages and Related Structures

On the Polynomial Degree of Minterm-Cyclic Functions

A Version Space Approach to Learning Context-free Grammars

Proof Theory for Syntacticians

AP Calculus AB. Nevada Academic Standards that are assessable at the local level only.

Erkki Mäkinen State change languages as homomorphic images of Szilard languages

CS 598 Natural Language Processing

Syntax Parsing 1. Grammars and parsing 2. Top-down and bottom-up parsing 3. Chart parsers 4. Bottom-up chart parsing 5. The Earley Algorithm

Self Study Report Computer Science

Stacks Teacher notes. Activity description. Suitability. Time. AMP resources. Equipment. Key mathematical language. Key processes

Natural Language Processing. George Konidaris

Lecture 1: Machine Learning Basics

(Sub)Gradient Descent

Morphotactics as Tier-Based Strictly Local Dependencies

Factoring - Grouping

"f TOPIC =T COMP COMP... OBJ

Context Free Grammars. Many slides from Michael Collins

Grade 5 + DIGITAL. EL Strategies. DOK 1-4 RTI Tiers 1-3. Flexible Supplemental K-8 ELA & Math Online & Print

arxiv: v1 [math.at] 10 Jan 2016

FractionWorks Correlation to Georgia Performance Standards

Basic Parsing with Context-Free Grammars. Some slides adapted from Julia Hirschberg and Dan Jurafsky 1

systems have been developed that are well-suited to phenomena in but is properly contained in the indexed languages. We give a

Grade 6: Correlated to AGS Basic Math Skills

Evolution of Collective Commitment during Teamwork

Detecting English-French Cognates Using Orthographic Edit Distance

Lecture 10: Reinforcement Learning

WSU Five-Year Program Review Self-Study Cover Page

Are You Ready? Simplify Fractions

Probability and Game Theory Course Syllabus

1.11 I Know What Do You Know?

Objectives. Chapter 2: The Representation of Knowledge. Expert Systems: Principles and Programming, Fourth Edition

What the National Curriculum requires in reading at Y5 and Y6

Machine Learning and Data Mining. Ensembles of Learners. Prof. Alexander Ihler

A Neural Network GUI Tested on Text-To-Phoneme Mapping

PRODUCT PLATFORM DESIGN: A GRAPH GRAMMAR APPROACH

BANGLA TO ENGLISH TEXT CONVERSION USING OPENNLP TOOLS

CS 101 Computer Science I Fall Instructor Muller. Syllabus

Parsing with Treebank Grammars: Empirical Bounds, Theoretical Models, and the Structure of the Penn Treebank

Numeracy Medium term plan: Summer Term Level 2C/2B Year 2 Level 2A/3C

Parallel Evaluation in Stratal OT * Adam Baker University of Arizona

CS 1103 Computer Science I Honors. Fall Instructor Muller. Syllabus

Parsing of part-of-speech tagged Assamese Texts

IT Students Workshop within Strategic Partnership of Leibniz University and Peter the Great St. Petersburg Polytechnic University

Abstractions and the Brain

Learning to Think Mathematically With the Rekenrek

Pre-Algebra A. Syllabus. Course Overview. Course Goals. General Skills. Credit Value

Refining the Design of a Contracting Finite-State Dependency Parser

Radius STEM Readiness TM

ABSTRACT. A major goal of human genetics is the discovery and validation of genetic polymorphisms

The New York City Department of Education. Grade 5 Mathematics Benchmark Assessment. Teacher Guide Spring 2013

South Carolina English Language Arts

11/29/2010. Statistical Parsing. Statistical Parsing. Simple PCFG for ATIS English. Syntactic Disambiguation

ENGBG1 ENGBL1 Campus Linguistics. Meeting 2. Chapter 7 (Morphology) and chapter 9 (Syntax) Pia Sundqvist

Chinese Language Parsing with Maximum-Entropy-Inspired Parser

Mathematics. Mathematics

TOPICS LEARNING OUTCOMES ACTIVITES ASSESSMENT Numbers and the number system

The Strong Minimalist Thesis and Bounded Optimality

Discriminative Learning of Beam-Search Heuristics for Planning

Foothill College Fall 2014 Math My Way Math 230/235 MTWThF 10:00-11:50 (click on Math My Way tab) Math My Way Instructors:

Introduction to HPSG. Introduction. Historical Overview. The HPSG architecture. Signature. Linguistic Objects. Descriptions.

Syllabus ENGR 190 Introductory Calculus (QR)

AGS THE GREAT REVIEW GAME FOR PRE-ALGEBRA (CD) CORRELATED TO CALIFORNIA CONTENT STANDARDS

have to be modeled) or isolated words. Output of the system is a grapheme-tophoneme conversion system which takes as its input the spelling of words,

Lecture 1.1: What is a group?

This scope and sequence assumes 160 days for instruction, divided among 15 units.

Teaching a Laboratory Section

B.S/M.A in Mathematics

DISTRICT ASSESSMENT, EVALUATION & REPORTING GUIDELINES AND PROCEDURES

Enhancing Unlexicalized Parsing Performance using a Wide Coverage Lexicon, Fuzzy Tag-set Mapping, and EM-HMM-based Lexical Probabilities

Backwards Numbers: A Study of Place Value. Catherine Perez

Empiricism as Unifying Theme in the Standards for Mathematical Practice. Glenn Stevens Department of Mathematics Boston University

An Introduction to the Minimalist Program

Cambridgeshire Community Services NHS Trust: delivering excellence in children and young people s health services

1 3-5 = Subtraction - a binary operation

Liquid Narrative Group Technical Report Number

The Interface between Phrasal and Functional Constraints

Focused on Understanding and Fluency

Mathematics subject curriculum

GRAMMAR IN CONTEXT 2 PDF

ReinForest: Multi-Domain Dialogue Management Using Hierarchical Policies and Knowledge Ontology

Classroom Connections Examining the Intersection of the Standards for Mathematical Content and the Standards for Mathematical Practice

Speech Segmentation Using Probabilistic Phonetic Feature Hierarchy and Support Vector Machines

Guide to the Uniform mark scale (UMS) Uniform marks in A-level and GCSE exams

Degree Audit Self-Service For Students 1

1. Introduction. 2. The OMBI database editor

SARDNET: A Self-Organizing Feature Map for Sequences

IB Diploma Subject Selection Brochure

Analysis of Enzyme Kinetic Data

Common Core State Standards

Page 1 of 11. Curriculum Map: Grade 4 Math Course: Math 4 Sub-topic: General. Grade(s): None specified

CS4491/CS 7265 BIG DATA ANALYTICS INTRODUCTION TO THE COURSE. Mingon Kang, PhD Computer Science, Kennesaw State University

Statewide Framework Document for:

Pre-Processing MRSes

Transcription:

B.Tech II Year II Semester () Regular Examinations May/June 2015 FMAL LANGUAGES & AUTOMATA THEY (Computer Science and Engineering) (a) What is a string? How to concatenate two strings? (b) What is context free grammar? (c) Describe the language generated by the regular expression:. (d) Let r 1 be the regular expression representing the language L 1, r 2 be the regular expression representing the language L 2, what is the language represented by the regular expression r 2 + r 1. (e) Identify the language generated by context free grammar:. (f) Define ambiguous grammar with example. (g) Can push down automata accept the regular language? (h) Give any two examples of languages that are accepted by PDA. (i) Define linear bounded automata. (j) Define multi-tape Turing machine. 2 (a) Construct the language generated by grammar (b) Construct the language generated by the grammar 3 Design a minimal DFA over the alphabet to accept the language. I 4 State and prove Arden s theorem. 5 (a) Write the identities of regular expressions. (b) Draw the NFSA to accept the languages generated by II 6 (a) Remove unit productions in the following grammar: (b) Remove unit productions in the following grammar: 7 Define Chomsky normal form, convert the following grammar into CNF: V 8 Construct a PDA that accepts the language generated by the following grammar: 9 Construct a PDA to accept the language by the empty stack. 10 Design a Turing machine to accept the language. Show an ID for the string aaabbb with tape symbols. 11 Write short notes on: (i) Instantaneous Description of TMs. (ii) Recursively Enumerable and Recursive Languages.

B.Tech II Year II Semester () Regular & Supplementary Examinations May/June 2016 FMAL LANGUAGES & AUTOMATA THEY (Computer Science and Engineering) (a) Define the terms symbol, string and Language. (b) Write short notes on proof by contradiction. (c) Differentiate between Klean closure and positive closure. (d) If R 1 and R 2 are two regular languages, R 1 U R 2 and and are also regular languages, prove by DeMorgans rules that R 1 R 2 is also a regular language. (e) For the grammar E E+E, E E*E, E id, construct a parse tree (using leftmost derivation) for the string id*id*id+id. (f) List the set operators under which CFLs are NOT CLOSED. Justify your answer. (g) Explain how a stack is integrated into the functioning of a PDA. (h) Give the formal definition of a PDA. (i) Explain the functioning of a counter machine. (j) State the closure properties of recursive languages. 2 (a) Construct the NFA for the RE (0+1) * (00+11) (01) (0+1) *. (b) For the following ε-nfa, construct its equivalent NFA without ε transitions. 0 1 2 ε 2 q 1 q 2 q 3 3 (a) Construct a Moore machine that takes strings comprising 0, 1, 2 and 3 as input (base 4 number) whose decimal equivalent modulo 7 is given as output. (b) How do we determine equivalence of two DFA? Explain with an example I 4 (a) State and prove Arden s Theorem (b) List the closure properties of Regular Languages 5 Find the regular expression corresponding to the following DFA. 1 1 0 0 q 1 q 2 q 3 0 Contd. in page 2 Page 1 of 2

II 6 Convert the following grammar into GNF: X YZ Y ZX a Z XY b 7 (a) Explain the following terms with example: (i) Ambiguous Grammar. (ii) Left Recursion. (iii) Chomsky s Normal Form. (b) Discuss the closure properties of Context free languages. V 8 (a) Construct a PDA that recognizes strings (over alphabet 0 and 1) that contain equal number of 0s and 1s. (b) Construct a grammar in Chomsky s Normal Form that is equivalent to: A abcb, B bc, C Cb, C b. 9 (a) Construct a PDA that recognizes strings of WW r form, where W r is the reverse of W, and strings comprise of 0s and 1s. Give the instantaneous of the PDA also. (b) Construct a PDA that recognizes strings of type 0 n 1 m n>m using final state. 10 (a) Explain the concept of Universal Turing Machine. (b) Find a PCP solution for the following sets. A B ab aba ba abb b ab abb b a bab 11 Construct a Turing Machine that computes the product of two numbers, represented in Unary form. Page 2 of 2

B.Tech II Year II Semester () Supplementary Examinations December 2016 FMAL LANGUAGES & AUTOMATA THEY (Computer Science and Engineering) (a) Give the formal definition of Finite Automata. (b) Write the regular expressions for the following languages: (i) All the strings of a s and b s where every string ends with abab (ii) All the strings which begin or end with either 00 or 11 over the set { 0,1} (c) Define the language for the following Context Free Grammars. (i) S 0 S 1 01 (ii) S a S a b S b ε (d) List any four closure properties of regular languages. (e) Differentiate Recursive and Recursive enumerable languages. (f) Explain briefly about two stack PDA. (g) Show that the following grammar is ambiguous: S->aSbS bsas ε (h) Construct NFA for the following regular expression: (00+11)*. (i) Briefly explain about Chomsky hierarchy of languages. (j) State Post Correspondence Problem (PCP). 2 Construct DFA for the following Languages: (i) The set of all strings over {0,1} having even number of 0 s and odd number of 1 s. (ii) The set of all strings over {0,1} where evrey string doesnot ending with 011. 3 Construct a Moore machine to determine residue mod 5 for a binary number and convert it into its equivalent Mealey machine. I 4 State Arden s theorem and construct the regular expression for the following FA using Arden s theorem. 5 State pumping lemma for regular languages and prove that the following languages are not regular by using pumping lemma. (i) L = {a p where p is a prime}. (ii) L = { a n b n n>0 }. Contd. in page 2 Page 1 of 2

II 6 Convert the following Context Free Grammar to Chomsky Normal Form. S ba ab A baa as a B abb bs b 7 What is meant by left recursion in CFG and check the following grammar is left recursive or not if it is, remove it. E E+T T T T*F F F id V 8 Design a PDA whose language is {w w contains balanced parenthesis}. 9 Convert the following PDA into its equivalent CFG. The transition function is defined as: δ(q 0,0,Z 0 ) = {(q 0,0Z 0 )} δ(q 0,0,0) ={ ( q 0,00)} δ(q 0,1,0) = { (q 1, ε)} δ(q 1,1,0) = { (q 1, ε)} δ (q 1, ε,z 0 )={ (q 2, ε)} 10 What is Turing Machine? Specify its model and construct TM for the language. L={a m b n a m+n n 1 m 0} 11 Explain various types of Turing Machines with examples. Page 2 of 2

B.Tech III Year I Semester () Regular Examinations December 2015 FMAL LANGUAGES & AUTOMATA THEY (Information Technology) (a) Define deterministic finite automata. (b) Define non-deterministic finite automata. (c) Find DFA for L = {w: w mod 3 = 0} where = {a,b}. (d) Find NFA with three states that accepts the language {ab,abc}*. (e) Write RE for L = {w {0,1}* : w has no pair of consecutive zeros}. (f) What is left factoring? (g) Define primitive recursive function. (h) Distinguish between DPDA and NPDA. (i) Write variations of Turing machine. (j) Explain about modified PCP. 2 Describe Chomsky hierarchy of languages with proper examples. 3 State and explain Myhill-Nerode theorem. I 4 (a) What are the closure properties of regular languages? (b) Prove that, the following Language is non-regular using pumping Lemma: (i) L = {a n b n+1 n> 0}. (ii) L = { ww w {0,1}* }. 5 Explain left & right derivations and also left & right derivation trees with examples. II 6 (a) Show that L = { a i b j j = i 2 } is not context free language. (b) Find if the given grammar is finite or infinite: S AB, A BC a, B CC b, C a 7 (a) Explain Ambiguity in CFGs. (b) Convert the grammar into GNF: S ABb a, A aaa B, B bab V 8 (a) Find the PDA that accepts the following language: L = {x {a,b}*: x a =2 x b } via empty stack. (b) Explain instantaneous description. 9 Give the equivalence between CFL and PDA. 10 (a) What are undecidable problems? Explain why PCP problem is considered undecidable. (b) What is a Universal Turing machine? 11 Design Turing machine to accept all set of palindromes over {0,1}*.also write the instantaneous description on the string 1001001.