98.7k views
1 vote
Construct a DFA that recognizes the following language of strings over the alphabet {0,1}:

For a string x over the alphabet Σ, let #(a, x) be the number of times a substring $aa$ occurs in the string x. Different aa strings are allowed to overlap. For example, #(0, 00111001) = #(1, 00111001) = 2. (α) Definition: L = x . (b) Definition: L' = L ∩ #(1, y) ≤ #(0, y) + 1 for all prefixes y of x. Construct a finite automaton for the language (a) or (b) above, whichever is regular

1 Answer

0 votes

In order to put it another way, a string is accepted by a DFA if and only if the DFA, starting at the initial state, ends in an accepting state after reading the string. If and only if L = w | *(q0, w) A, a DFA Q,, q0,, A > will accept a language L.

The language should be (0 + 1)*01 since DFA accepts all strings with the character "01" as their end. As a result, 1, 0 * 0, 0 1 is the right response. Option 1: Including "01" at the end.

For example, "01,001,101,0001,0101,1001,1101,... Deterministic finite automata, or DFA, are used. Deterministic describes how the calculation was unique. If a machine reads an input string one symbol at a time, the finite automata are deterministic FA. There is only one path input from the DFAs.