2006–07 Mersin İdmanyurdu season

In computer science, more specifically in automata and formal language theory, nested words are a concept proposed by Alur and Madhusudan as a joint generalization of words, as traditionally used for modelling linearly ordered structures, and of ordered unranked trees, as traditionally used for modelling hierarchical structures. Finite-state acceptors for nested words, so-called nested word automata, then give a more expressive generalization of finite automata on words. The linear encodings of languages accepted by finite nested word automata gives the class of visibly pushdown languages. The latter language class lies properly between the regular languages and the deterministic context-free languages. Since their introduction in 2004, these concepts have triggered much research in that area. An equivalent formalism is regular tree grammars.

Formal definition

To define nested words, we first need to define matching relation. As usual, for a nonnegative integer $\ell$, we use the notation $[\ell ]$ to denote the set $\{1,2,\dots ,\ell -1,\ell \}$, with the special case $[0]=\mathrm{\varnothing }$.

A matching relation ↝ of length $\ell \ge 0$ is a subset of $\{-\mathrm{\infty },1,2,\dots ,\ell -1,\ell \}\times \{1,2,\dots ,\ell -1,\ell ,\mathrm{\infty }\}$ such that:
(i) all nesting edges are forward, that is, if i ↝ j then i<j;
(ii) nesting edges never have a finite position in common, that is, for $-\mathrm{\infty }<i<\mathrm{\infty }$, there is at most one position h such that h ↝ i, and there is at most one position j such that i ↝ j; and
(iii) nesting edges never cross, that is, we can't find i<i'≤j<j' such that both i ↝ j and i' ↝ j'.
$i$ is referred to as a call position, if i ↝ j for some j, as a pending call if i ↝ ∞, as a return position, if h ↝ i for some h and as a "pending return" if -∞ ↝ i.

A nested word of length $\ell$ over an alphabet Σ is a pair (w,↝), where w is a word of length $\ell$over Σ (in the usual sense) and ↝ is a matching relation of length $\ell$.

Encoding nested words into ordinary words

Nested words over the alphabet $\mathrm{\Sigma }=\{a_1,a_2,\dots ,a_n\}$ can be encoded into "ordinary" words over the tagged alphabet $\hat{\mathrm{\Sigma }}$, in which each symbol a from Σ has three tagged counterparts: the symbol ⟨a for encoding a call position in a nested word labelled with a, the symbol a⟩ for encoding a return position labelled with a, and finally the symbol a itself for representing an internal position labelled with a. More precisely, let φ be the function mapping nested words over Σ to words over $\hat{\mathrm{\Sigma }}$ such that each nested word ($w_1{w}_2\cdots w_{\ell }$,↝) is mapped to the word $x_1{x}_2...x_{\ell }$, where the letter $x_i$ equals ⟨a, a, or a⟩, respectively, if $w_i=a$ and i is a call position, an internal position, or a return position, respectively.

Example

For illustration, let n=(w,↝) be the nested word over an ternary alphabet with w=abaabccca and matching relation ↝ = {(-∞,1),(2,∞),(3,4),(5,7),(8,∞)}. Then its encoding as word reads as φ(n) = a⟩⟨b⟨aa⟩⟨bcc⟩⟨ca.

Automata

Nested word automaton

A nested word automaton has a finite number of states, and operates in almost the same way as a deterministic finite automaton on classical strings: a classical finite automaton reads the input word $w=w_1\cdots w_{\ell }$ from left to right, and the state of the automaton after reading the jth letter $w_j$ depends on the state in which the automaton was before reading $w_j$.

In a nested word automaton, the position $j$ in the nested word (w,↝) might be a return position; if so, the state after reading $w_j$ will not only depend on the linear state in which the automaton was before reading $w_j$, but also on a hierarchical state propagated by the automaton at the time it was in the corresponding call position. In analogy to regular languages of words, a set L of nested words is called regular if it is accepted by some (finite-state) nested word automaton.

Visibly pushdown automaton

Nested word automata are an automaton model accepting nested words. There is an equivalent automaton model operating on (ordinary) words. Namely, the notion of a deterministic visibly pushdown automaton is a restriction of the notion of a deterministic pushdown automaton.

Following Alur and Madhusudan, a deterministic visibly pushdown automaton is formally defined as a 6-tuple $M=(Q,\hat{\mathrm{\Sigma }},\mathrm{\Gamma },\delta ,q_0,F)$ where

• $Q$ is a finite set of states,
• $\hat{\mathrm{\Sigma }}$ is the input alphabet, which – in contrast to that of ordinary pushdown automata – is partitioned into three sets ${\mathrm{\Sigma }}_{\text{c}}$, ${\mathrm{\Sigma }}_{\text{r}}$, and ${\mathrm{\Sigma }}_{\text{int}}$. The alphabet ${\mathrm{\Sigma }}_{\text{c}}$ denotes the set of call symbols, ${\mathrm{\Sigma }}_{\text{r}}$ contains the return symbols, and the set ${\mathrm{\Sigma }}_{\text{int}}$ contains the internal symbols,
• $\mathrm{\Gamma }$ is a finite set which is called the stack alphabet, containing a special symbol $\mathrm{\perp }\in \mathrm{\Gamma }$ denoting the empty stack,
• $\delta ={\delta }_{\text{c}}\cup {\delta }_{\text{r}}\cup {\delta }_{\text{int}}$ is the transition function, which is partitioned into three parts corresponding to call transitions, return transitions, and internal transitions, namely
  • ${\delta }_{\text{c}}:Q\times {\mathrm{\Sigma }}_{\text{c}}\to Q\times \mathrm{\Gamma }$, the call transition function
  • ${\delta }_{\text{r}}:Q\times {\mathrm{\Sigma }}_{\text{r}}\times \mathrm{\Gamma }\to Q$, the return transition function
  • ${\delta }_{\text{int}}:Q\times {\mathrm{\Sigma }}_{\text{int}}\to Q$, the internal transition function,
• $q_0\in Q$ is the initial state, and
• $F\subseteq Q$ is the set of accepting states.

The notion of computation of a visibly pushdown automaton is a restriction of the one used for pushdown automata. Visibly pushdown automata only add a symbol to the stack when reading a call symbol $a_{\text{c}}\in {\mathrm{\Sigma }}_{\text{c}}$, they only remove the top element from the stack when reading a return symbol $a_{\text{r}}\in {\mathrm{\Sigma }}_{\text{r}}$ and they do not alter the stack when reading an internal event $a_{\text{i}}\in {\mathrm{\Sigma }}_{\text{int}}$. A computation ending in an accepting state is an accepting computation.

As a result, a visibly pushdown automaton cannot push to and pop from the stack with the same input symbol. Thus the language $L=\{a^{n}b{a}^n\mid n\in \mathrm{N}\}$ cannot be accepted by a visibly pushdown automaton for any partition of $\mathrm{\Sigma }$, however there are pushdown automata accepting this language.

If a language $L$ over a tagged alphabet $\hat{\mathrm{\Sigma }}$ is accepted by a deterministic visibly pushdown automaton, then $L$ is called a visibly pushdown language.

Nondeterministic visibly pushdown automata

Nondeterministic visibly pushdown automata are as expressive as deterministic ones. Hence one can transform a nondeterministic visibly pushdown automaton into a deterministic one, but if the nondeterministic automaton had $s$ states, the deterministic one may have up to $2^{s^2}$ states.

Decision problems

Let $\left|A\right|$ be the size of the description of an automaton $A$, then it is possible to check if a word n is accepted by the automaton in time $O(|A{|}^3\ell )$. In particular, the emptiness problem is solvable in time $O(|A{|}^3)$. If $A$ is fixed, it is decidable in time $O(\ell )$ and space $O(d)$ where $d$ is the depth of n in a streaming seeing. It is also decidable with space $O(\log (\ell ))$ and time $O({\ell }^2\log (\ell ))$, and by a uniform boolean circuit of depth $O(\log \ell )$.

For two nondeterministic automata A and B, deciding whether the set of words accepted by A is a subset of the word accepted by B is EXPTIME-complete. It is also EXPTIME-complete to figure out if there is a word that is not accepted.

Languages

As the definition of visibly pushdown automata shows, deterministic visibly pushdown automata can be seen as a special case of deterministic pushdown automata; thus the set VPL of visibly pushdown languages over $\hat{\mathrm{\Sigma }}$ forms a subset of the set DCFL of deterministic context-free languages over the set of symbols in $\hat{\mathrm{\Sigma }}$. In particular, the function that removes the matching relation from nested words transforms regular languages over nested words into context-free languages.

Closure properties

The set of visibly pushdown languages is closed under the following operations:

• set operations:
  • union
  • intersection
  • complement, thus giving rise to a boolean algebra.
• Kleene star
• concatenation

For the intersection operation, one can construct a VPA M simulating two given VPAs $M_1$ and $M_2$ by a simple product construction Template:Harv: For $i=1,2$, assume $M_i$ is given as $(Q_i,\hat{\mathrm{\Sigma }},{\mathrm{\Gamma }}_i,{\delta }_i,s_i,Z_i,F_i)$. Then for the automaton M, the set of states is $Q_1\times Q_2$, the initial state is $(s_1,s_2)$, the set of final states is $F_1\times F_2$, the stack alphabet is given by ${\mathrm{\Gamma }}_1\times {\mathrm{\Gamma }}_2$, and the initial stack symbol is $(Z_1,Z_2)$.

If $M$ is in state $(p_1,p_2)$ on reading a call symbol $⟨a$, then $M$ pushes the stack symbol $({\gamma }_1,{\gamma }_2)$ and goes to state $(q_1,q_2)$, where ${\gamma }_i$ is the stack symbol pushed by $M_i$ when transitioning from state $p_i$ to $q_i$ on reading input $⟨a$.

If $M$ is in state $(p_1,p_2)$ on reading an internal symbol $a$, then $M$ goes to state $(q_1,q_2)$, whenever $M_i$ transitions from state $p_i$ to $q_i$ on reading a.

If $M$ is in state $(p_1,p_2)$ on reading a return symbol $a⟩$, then $M$ pops the symbol $({\gamma }_1,{\gamma }_2)$ from the stack and goes to state $(q_1,q_2)$, where ${\gamma }_i$ is the stack symbol popped by $M_i$ when transitioning from state $p_i$ to $q_i$ on reading $a⟩$.

Correctness of the above construction crucially relies on the fact that the push and pop actions of the simulated machines $M_1$ and $M_2$ are synchronized along the input symbols read. In fact, a similar simulation is no longer possible for deterministic pushdown automata, as the larger class of deterministic context-free languages is no longer closed under intersection.

In contrast to the construction for concatenation shown above, the complementation construction for visibly pushdown automata parallels the standard construction for deterministic pushdown automata.

Moreover, like the class of context free languages the class of visibly pushdown languages is closed under prefix closure and reversal, hence also suffix closure.

Relation to other language classes

Template:Harvtxt point out that the visibly pushdown languages are more general than the parenthesis languages suggested in Template:Harvtxt. As shown by Template:Harvtxt, the VPL in turn are strictly contained in the class of languages described by operator-precedence grammars, which were introduced by Template:Harvtxt. In comparison to conjunctive grammars, a generalization of context-free grammars, Template:Harvtxt shows that the linear conjunctive languages form a superclass of the visibly pushdown languages. The table at the end of this article puts the family of visibly pushdown languages in relation to other language families in the Chomsky hierarchy.

Other models of description

Visibly pushdown grammars

Visibly pushdown languages are exactly the languages that can be described by visibly pushdown grammars.

Visibly pushdown grammars can be defined as a restriction of context-free grammars. A visibly pushdown grammars G is defined by the 4-tuple:

$G=(V=V^0\cup V^1,\mathrm{\Sigma },R,S)$ where

• $V^0$ and $V^1$ are disjoint finite set; each element $v\in V$ is called a non-terminal character or a variable. Each variable represents a different type of phrase or clause in the sentence. Each variable defines a sub-language of the language defined by $G$, and the sub-languages of $V^0$ are the one without pending calls or pending returns.
• $\mathrm{\Sigma }$ is a finite set of terminals, disjoint from $V$, which make up the actual content of the sentence. The set of terminals is the alphabet of the language defined by the grammar $G$.
• $S$ is the start variable (or start symbol), used to represent the whole sentence (or program). It must be an element of $V$.
• $R$ is a finite relation from $V$ to $(V\cup \mathrm{\Sigma }{)}^{*}$ such that $\mathrm{\exists }w\in (V\cup \mathrm{\Sigma }{)}^{*}:(S,w)\in R$. The members of $R$ are called the (rewrite) rules or productions of the grammar. There are three kinds of rewrite rules. For $X,Y\in V,Z\in V^0$, $a\in \hat{\mathrm{\Sigma }}$ and $b\in \hat{\mathrm{\Sigma }}$
  • $X\to ϵ$
  • $X\to aY$ and if $X\in V^0$ then $Y\in V^0$ and $a\in \mathrm{\Sigma }$
  • $X\to ⟨aZb⟩Y$ and if $X\in V^0$ then $Y\in V^0$

Here, the asterisk represents the Kleene star operation and $ϵ$ is the empty word.

Uniform Boolean circuits

The problem whether a word of length $\ell$ is accepted by a given nested word automaton can be solved by uniform boolean circuits of depth $O(\log \ell )$.

Logical description

Regular languages over nested words are exactly the set of languages described by Monadic second-order logic with two unary predicates call and return, linear successor and the matching relation ↝.

See also

• Model checking

References

• Template:Cite doi
• Template:Cite doi
• Template:Cite doi
• Template:Cite doi
• Template:Cite doi
• One of the biggest reasons investing in a Singapore new launch is an effective things is as a result of it is doable to be lent massive quantities of money at very low interest rates that you should utilize to purchase it. Then, if property values continue to go up, then you'll get a really high return on funding (ROI). Simply make sure you purchase one of the higher properties, reminiscent of the ones at Fernvale the Riverbank or any Singapore landed property Get Earnings by means of Renting
  
  In its statement, the singapore property listing - website link, government claimed that the majority citizens buying their first residence won't be hurt by the new measures. Some concessions can even be prolonged to chose teams of consumers, similar to married couples with a minimum of one Singaporean partner who are purchasing their second property so long as they intend to promote their first residential property. Lower the LTV limit on housing loans granted by monetary establishments regulated by MAS from 70% to 60% for property purchasers who are individuals with a number of outstanding housing loans on the time of the brand new housing purchase. Singapore Property Measures - 30 August 2010 The most popular seek for the number of bedrooms in Singapore is 4, followed by 2 and three. Lush Acres EC @ Sengkang
  
  Discover out more about real estate funding in the area, together with info on international funding incentives and property possession. Many Singaporeans have been investing in property across the causeway in recent years, attracted by comparatively low prices. However, those who need to exit their investments quickly are likely to face significant challenges when trying to sell their property – and could finally be stuck with a property they can't sell. Career improvement programmes, in-house valuation, auctions and administrative help, venture advertising and marketing, skilled talks and traisning are continuously planned for the sales associates to help them obtain better outcomes for his or her shoppers while at Knight Frank Singapore. No change Present Rules
  
  Extending the tax exemption would help. The exemption, which may be as a lot as $2 million per family, covers individuals who negotiate a principal reduction on their existing mortgage, sell their house short (i.e., for lower than the excellent loans), or take part in a foreclosure course of. An extension of theexemption would seem like a common-sense means to assist stabilize the housing market, but the political turmoil around the fiscal-cliff negotiations means widespread sense could not win out. Home Minority Chief Nancy Pelosi (D-Calif.) believes that the mortgage relief provision will be on the table during the grand-cut price talks, in response to communications director Nadeam Elshami. Buying or promoting of blue mild bulbs is unlawful.
  
  A vendor's stamp duty has been launched on industrial property for the primary time, at rates ranging from 5 per cent to 15 per cent. The Authorities might be trying to reassure the market that they aren't in opposition to foreigners and PRs investing in Singapore's property market. They imposed these measures because of extenuating components available in the market." The sale of new dual-key EC models will even be restricted to multi-generational households only. The models have two separate entrances, permitting grandparents, for example, to dwell separately. The vendor's stamp obligation takes effect right this moment and applies to industrial property and plots which might be offered inside three years of the date of buy. JLL named Best Performing Property Brand for second year running
  
  The data offered is for normal info purposes only and isn't supposed to be personalised investment or monetary advice. Motley Fool Singapore contributor Stanley Lim would not personal shares in any corporations talked about. Singapore private home costs increased by 1.eight% within the fourth quarter of 2012, up from 0.6% within the earlier quarter. Resale prices of government-built HDB residences which are usually bought by Singaporeans, elevated by 2.5%, quarter on quarter, the quickest acquire in five quarters. And industrial property, prices are actually double the levels of three years ago. No withholding tax in the event you sell your property. All your local information regarding vital HDB policies, condominium launches, land growth, commercial property and more
  
  There are various methods to go about discovering the precise property. Some local newspapers (together with the Straits Instances ) have categorised property sections and many local property brokers have websites. Now there are some specifics to consider when buying a 'new launch' rental. Intended use of the unit Every sale begins with 10 p.c low cost for finish of season sale; changes to 20 % discount storewide; follows by additional reduction of fiftyand ends with last discount of 70 % or extra. Typically there is even a warehouse sale or transferring out sale with huge mark-down of costs for stock clearance. Deborah Regulation from Expat Realtor shares her property market update, plus prime rental residences and houses at the moment available to lease Esparina EC @ Sengkang
• Okhotin, Alexander: Comparing linear conjunctive languages to subfamilies of the context-free languages, 37th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2011).

External links

• Nested words and visibly pushdown languages
• Visibly pushdown automata - Automata on nested words
• class VPL at the Complexity Zoo

Other Sports Official Alfonzo from Chase, has hobbies and interests for instance fast, property developers in new industrial launch singapore and aquariums. In recent times has visited Monasteries of Haghpat and Sanahin.