Titlebook: Language and Automata Theory and Applications; 4th International Co Adrian-Horia Dediu,Henning Fernau,Carlos Martín-Vi Conference proceedin

Incise

Fulminate

急急忙忙

商品

Operator Precedence and the Visibly Pushdown Propertypplications to model checking and for defining mark-up languages such as HTML. As a corollary, an extended regular expression of precedence-compatible FLs is a FL and a deterministic parser for it can be algorithmically obtained.

智力高

矿石

组装

On the Maximal Number of Cubic Runs in a Stringich the shortest period . satisfies 3. ≤ |.|. We show the upper bound of 0.5 . on the maximal number of such runs in a string of length ., and construct an infinite sequence of words over binary alphabet for which the lower bound is 0.406 ..

Patrimony

朋党派系

Choosing Word Occurrences for the Smallest Grammar Problemnces. We propose a second algorithm that performs a broader exploration by allowing the removal of useless words that were chosen previously. Experiments on a classical benchmark show that our algorithms consistently find smaller grammars then state-of-the-art algorithms.

充气女

Agreement and Cliticization in Italian: A Pregroup Analysisn the paper we focus on the Italian language, introducing a type syntax of the verbal constructions in which clitic pronouns occur and offering an explanation of the interaction between agreement features and clitic pronouns.