Login

Create Account
+14156709189
info@expertsmind.com
Submit Homework/Assignment
Get quote & make Payment
Get Solution
A composablereset DFA (CRDFA) is a fivetuple, Theory of Computation
Question 2 (10 pt): In this question we look at an extension to DFAs. A composablereset DFA (CRDFA) is a fivetuple, (Q,S,d,q0,F) where:
– Q is the set of states,
– S is the alphabet,
– d:Q×(S?{?})?Qisthetransitionfunction, – q0 ? Q is the start state, and
– F ? Q is the set of accept states.
Every CRDFA must satisfy one additional property:
When running a CRDFA one can take a ?transition if and only if the input has already been exhausted, and d cannot have any cycles that have a ?transition.
A CRDFA differs from a DFA by the addition of a new symbol denoted ? which can only be used by the transition function. This symbol is not part of the alphabet of the DFA.
The run function for a CRDFA is defined as follows:
dˆ 0 : Q × S * × S * ? Q dˆ0(q,e,w1) = q
if d(q, ?) is undefined. dˆ0(q, e, w1) = dˆ0(q', w1, w1)
if d(q, ?) = q'
dˆ0(q, aw, w1) = dˆ0(q', w, w1)
if d(q, a) = q' dˆ : Q × S * ? Q
dˆ ( q , w ) = dˆ ( q , w , w ) 0
1
We can see that the run function, dˆ, is defined interms of an auxiliary function called dˆ0. The latter takes three arguments: i. the current state, the input word, and a second input word called w1. The second input word is called an accumulator, and it will be used to remember the original input to the run function, but when defining the auxiliary run function we leave this arbitrary.
The definition of the auxiliary run function follows the definition of the run function for DFAs, but in the case where the input word has been exhausted we check to see if the transition function allows the input to be reset to w1, and if it does, then we call dˆ0 on the next state given by d, and the input word is reset to w1. If when the input is exhausted and the transition function does not allow a ?transition, then we proceed as usual.
Note that the definition of acceptance for a CRDFA is the same as for DFAs.
We now define an interesting language. Suppose S = {a, b, c, d, ?, ?} is an alphabet. The symbol ? represents a binary operation, and the symbols a, b, c, d, and ? represent inputs to the binary operation ?. The language L is defined by the following:
i. a,b,c,d,? ? L
ii. Foranyei ?S,thewordw=e1?e2?e3?···?en ?L
iii. For any w ? L, any wellbalanced parenthesization of w is a member of L
iv. There are no other words in L.
The following are some example words in L:
a
b
c
d
?
(a?b) (a?(b?c)) (a?(b?(c?d))) a?b?c (a?b)?c
So the words of L are all the possible associations of applications of the binary operation ?. Define a CRDFA in the diagrammatic from used with DFAs that recognizes the language L as defined above. In addition, describe why CRDFAs are bad in practice.
Posted Date: 2/2/2015 8:26:13 PM  Location : United States
Ask an Expert
Related Discussions:
A composablereset DFA (CRDFA) is a fivetuple, Assignment Help, Ask Question on A composablereset DFA (CRDFA) is a fivetuple, Get Answer, Expert's Help, A composablereset DFA (CRDFA) is a fivetuple Discussions
Write discussion on A composablereset DFA (CRDFA) is a fivetuple
Your posts are moderated
Write your message here..
Related Questions
Local and recognizable languages, We developed the idea of FSA by generaliz...
We developed the idea of FSA by generalizing LTk transition graphs. Not surprisingly, then, every LTk transition graph is also the transition graph of a FSA (in fact a DFA)the one
Synthesis theorem, Kleene called this the Synthesis theorem because his (an...
Kleene called this the Synthesis theorem because his (and your) proof gives an effective procedure for synthesizing an automaton that recognizes the language denoted by any given r
Equivalence problem, The Equivalence Problem is the question of whether two...
The Equivalence Problem is the question of whether two languages are equal (in the sense of being the same set of strings). An instance is a pair of ?nite speci?cations of regular
Myhill graphs, Another way of representing a strictly 2local automaton is ...
Another way of representing a strictly 2local automaton is with a Myhill graph. These are directed graphs in which the vertices are labeled with symbols from the input alphabet of
Kleene Closure, 1. Does above all''s properties can be used to prove a lang...
1. Does above all''s properties can be used to prove a language regular? 2..which of the properties can be used to prove a language regular and which of these not? 3..Identify one
Dddddddddddddd, wwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwww
Create a general algorithm from a checking algorithm, Claim Under the assum...
Claim Under the assumptions above, if there is an algorithm for checking a problem then there is an algorithm for solving the problem. Before going on, you should think a bit about
Regular expressions, The project 2 involves completing and modifying the C+...
The project 2 involves completing and modifying the C++ program that evaluates statements of an expression language contained in the Expression Interpreter that interprets fully pa
Sketch an algorithm for recognizing language, Suppose A = (Σ, T) is an SL 2...
Suppose A = (Σ, T) is an SL 2 automaton. Sketch an algorithm for recognizing L(A) by, in essence, implementing the automaton. Your algorithm should work with the particular automa
Deterministic finite automata, conversion from nfa to dfa 0  1 ____...
conversion from nfa to dfa 0  1 ___________________ p {q,s}{q} *q{r} {q,r} r (s) {p} *snull {p}
Assignment Help
Accounting Assignment Help
Economics Assignment Help
Finance Assignment Help
Statistics Assignment Help
Physics Assignment Help
Chemistry Assignment Help
Math Assignment Help
Biology Assignment Help
English Assignment Help
Management Assignment Help
Engineering Assignment Help
Programming Assignment Help
Computer Science Assignment Help
IT Courses and Help
ExpertsMind Services
Online Tutoring
Projects Assistance
Exam Preparation
Coursework Help
Programming Courses
Engineering Courses
Why Us ?
~Experienced Tutors
~24x7 hrs Support
~Plagiarism Free
~Quality of Work
~Time on Delivery
~Privacy of Work