Kleene closure, Theory of Computation

Assignment Help:

One might assume that non-closure under concatenation would imply non closure under both Kleene- and positive closure, since the concatenation of a language with itself is included in its positive closure (that is, L2 ⊆ L+). The intuitive idea is that if we had a counterexample for closure under concatenation that uses just a single language L, then if there was some pair of strings in L2 that invalidates suffx substitution closure-that yields a string not in L2 when the suffx of one is substituted into the other-then that pair would invalidate suffx substitution closure for L* as well. But this argument doesn't work. The fact that the pair yields a string that is not in L2 does not rule out the possibility of string being in Li for some i = 2.

If one thinks in terms of strictly local generation, it should be clear that a language L is strictly 2-local language i? it includes all and only the strings that start with a symbol from some particular subset of Σ and end with a symbol from another such subset, with only  particular pairs of adjacent symbols occurring in between-equivalently, some particular set of forbidden pairs not occurring (see Section 3 of Part 1).

Consider, then L+. Strings in L+ will also start and end with symbols from those subsets of Σ and the adjacent pairs of symbols occurring strictly within the string from a given iteration of L will be only those that are permitted. The only di?erence is that there may be additional adjacent pairs where the strings from successive iterations meet. These we can admit by simply permitting them as well. The question is whether they will allow pairs in the middle of a string from L which should be forbidden. But, since we are only adding pairs in which the left symbol is a permissible ending symbol for a string from L and the right symbol is a permissible starting symbol, everywhere such a pair occurs is a permissible boundary between strings of L. Finally, to extend the construction to get L* all we need to do is add the pair ?? as well.


Related Discussions:- Kleene closure

Closure properties of recognizable languages, We got the class LT by taking...

We got the class LT by taking the class SL and closing it under Boolean operations. We have observed that LT ⊆ Recog, so certainly any Boolean combination of LT languages will also

Recognition problem, The Recognition Problem for a class of languages is th...

The Recognition Problem for a class of languages is the question of whether a given string is a member of a given language. An instance consists of a string and a (?nite) speci?cat

Concatenation, We saw earlier that LT is not closed under concatenation. If...

We saw earlier that LT is not closed under concatenation. If we think in terms of the LT graphs, recognizing the concatenation of LT languages would seem to require knowing, while

First model of computation, Computer has a single unbounded precision count...

Computer has a single unbounded precision counter which you can only increment, decrement and test for zero. (You may assume that it is initially zero or you may include an explici

Theory of computation, Computations are deliberate for processing informati...

Computations are deliberate for processing information. Computability theory was discovered in the 1930s, and extended in the 1950s and 1960s. Its basic ideas have become part of

Instantaneous description - recognizable language, De?nition (Instantaneous...

De?nition (Instantaneous Description) (for both DFAs and NFAs) An instantaneous description of A = (Q,Σ, δ, q 0 , F) , either a DFA or an NFA, is a pair h q ,w i ∈ Q×Σ*, where

Automaton theory, let G=(V,T,S,P) where V={a,b,A,B,S}, T={a,b},S the start ...

let G=(V,T,S,P) where V={a,b,A,B,S}, T={a,b},S the start symbol and P={S->Aba, A->BB, B->ab,AB->b} 1.show the derivation sentence for the string ababba 2. find a sentential form

Suffix substitution closure, Our primary concern is to obtain a clear chara...

Our primary concern is to obtain a clear characterization of which languages are recognizable by strictly local automata and which aren't. The view of SL2 automata as generators le

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd