Presentation is loading. Please wait.

Presentation is loading. Please wait.

Deterministic Finite Automata Nondeterministic Finite Automata.

Similar presentations


Presentation on theme: "Deterministic Finite Automata Nondeterministic Finite Automata."— Presentation transcript:

1 Deterministic Finite Automata Nondeterministic Finite Automata

2 Deterministic Finite Automata A regular expression can be represented (and recognized) by a machine called a deterministic finite automaton (dfa). A dfa can then be used to generate the matrix (or table) used by the scanner (or lexical analyzer). Deterministic finite automata are frequently also called simply finite automata (fa).

3 Example of a DFA for Recognizing Identifiers

4 Examples A dfa for regular expressions on the alphabet S = { a, b, c } a.Which have exactly one b:

5 Examples (Cont. 1) b. Which have 0 or 1 b's:

6 Examples (Cont. 2) A dfa for a number with an optional fractional part (assume S = { 0,1,2,3,4,5,6,7,8,9,+,-,. }:

7 Constructing DFA Regular expressions give us rules for recognizing the symbols or tokens of a programming language. The way a lexical analyzer can recognize the symbols is to use a DFA (machine) to construct a matrix, or table, that reports when a particular kind of symbol has been recognized. In order to recognize symbols, we need to know how to (efficiently) construct a DFA from a regular expression.

8 How to Construct a DFA from a Regular Expression Construct a nondeterministic finite automata (nfa) Using the nfa, construct a dfa Minimize the number of states in the dfa to get a smaller dfa

9 Nondeterministic Finite Automata A nondeterministic finite automata (NFA) allows transitions on a symbol from one state to possibly more than one other state. Allows  -transitions from one state to another whereby we can move from the first state to the second without inputting the next character. In a NFA, a string is matched if there is any path from the start state to an accepting state using that string.

10 NFA Example This NFA accepts strings such as: abc abd ad ac

11 Examples a f.a. for ab*: a f.a. for ad To obtain a f.a. for: ab* | ad We could try: but this doesn't work, as it matches strings such as abd

12 Examples (Cont. 1) So, then we could try: It's not always easy to construct a f.a. from a regular expression. It is easier to construct a NFA from a regular expression.

13 Examples (Cont. 2) Example of a NFA with epsilon-transitions: This NFA accepts strings such as ac, abc,...

14 Conventional Definition of Regular Expressions (RE) on some finite alphabet 1. The empty set is an RE. 2. The empty string is an RE. 3. Any member of the alphabet is an RE. 4. If R 1 and R 2 are Re’s, then so are: a. R 1 R 2 (concatenation) b. R 1 | R 2 (alternation) c. R 1 * (closure)

15 Lex vs the conventional definition of a RE Lex’s definition of a RE includes the conventional definition, but in addition, provides additional basic RE’s. These however can be defined in terms of the conventional definition. For example: [c-e] can be expressed as c | d | e If R is a RE, then: R? can be expressed as R | ε R+ can be expressed as RR *

16 How to construct a NFA for any regular expression - 1 Basic building blocks: (1) Any letter a of the alphabet is recognized by: (2) The empty set  is recognized by:

17 How to construct a NFA for any regular expression - 2 (3) The empty string  is recognized by: (4) Given a regular expression for R and S, assume these boxes represent the finite automata for R and S:

18 How to construct a NFA for any regular expression - 3 (5) To construct a nfa for RS (concatenation): (6) To construct a nfa for R | S (alternation):

19 How to construct a NFA for any regular expression - 4 (7) To construct a nfa for R* (closure):

20 Example Construct a NFA for an identifier using the above mechanical method for the regular expression: letter ( letter | digit )* First: construct the nfa for an identifier: ( letter | digit )

21 Example (Cont.1) Next, construct the closure: ( letter | digit )* 12 3 4 5 6 7 8         letter digit

22 Example (Cont.2) Now, finish the construction for: letter ( letter | digit )*


Download ppt "Deterministic Finite Automata Nondeterministic Finite Automata."

Similar presentations


Ads by Google