19 07 17

Page 1

FORMAL LANGUAGES AND COMPILERS prof.s Luca Breveglieri and Angelo Morzenti Exam of Wed 19 July 2017 - Part Theory WITH SOLUTIONS - FOR TEACHING PURPOSES HERE THE SOLUTIONS ARE WIDEL Y COMMENTED LAST + FIRST NAME: (capital letters please) MATRICOLA: SIGNATURE: (or PERSON CODE) INSTRUCTIONS - READ CAREFULLY: •The exam is in written form and consists of two parts: 1. Theory (80%): Syntax and Semantics of Languages – regular expressions and finite automata – free grammars and pushdown automata – syntax analysis and parsing methodologies – language translation and semantic analysis 2. Lab (20%): Compiler Design by Flex and Bison •To pass the exam, the candidate must succeed in both parts (th eory and lab), in one call or more calls separately, but within one year (12 months ) between the two parts. •To pass part theory, the candidate must answer the mandatory (not optional) ques- tions; notice that the full grade is achieved by answering th e optional questions. •The exam is open book: textbooks and personal notes are permi tted. •Please write in the free space left and if necessary continue on the back side of the sheet; do not attach new sheets and do not replace the existin g ones. •Time: part lab 60m - part theory 2h.15m 1 Regular Expressions and Finite Automata 20% 1. Consider the two-letter alphabet Σ = {a, b }and answer the following questions: (a) By using the Berry-Sethi method, design a deterministic finite-state automaton A that accepts the language generated by the regular expressi on RA below: RA = ( a b )∗ ( b a a )∗ (b) Check if the automaton A designed at point (a) is minimal, and minimize it if necessary. (c) Consider the finite-state automaton B shown below, with initial state 1, and two final states 1 and 2: 1 2B → ↓ → a b a By using the BMC method (node…