Kepser, S., Monnich, U.: Closure properties of linear context-free tree languages with an application to optimality theory. Theoretical Computer Science 354, 82- 97 (2006)U.: Closure properties of linear context-free tree languages with an application to optimality theory - Kepser, Mö...
Whether a similar theorem exists for linear conjunctive languages, is unknown. All the mentioned closure properties are summarized in Table 1. These results are compared to the (mostly) well-known properties of ordinary context-free grammars and their subfamilies. Discussing the closure properties of...
We also consider regular languages of infinite nested words and show that the closure properties, MSO-characterization, and decidability of decision problems ... RAJEEV ALUR,P. MADHUSUDAN - 《Journal of the Acm》 被引量: 583发表: 2009年 Context-Dependent Nondeterminism for Pushdown Automata the ...
José L. Balcázar: Formal and computational properties of the confidence boost of association rules. ACM Trans. Knowl. Discov. Data 7(4): 19:1-19:41 (2013) (please cite that work if you want to acknowledge usefulness of this software). ...
摘要: Natural Computing - We consider a pseudo-inversion operation inspired by biological events, such as DNA sequence transformations, where only parts of a string are reversed. We define the...关键词: Pseudo-inversion Bio-inspired operation Closure properties Decidability Formal languages Reversal-...
However, if a Petri net is behavioral equivalent to an FC-net, analysis results on the transformed net enables us to (partially) reason about semantic properties of the original net. The Petri net depicted in Fig. 2 (b) belongs to the class of extended free- choice nets (EFC-nets). ...
A metallic closure having water repelling properties, and methods of manufacturing the same, includes a metallic closure shell, as for example, the type used for crown caps or roll-on caps, and a non-wetting material layer deposited on at least a portion of an inside surface of the closure...
Motorists in Farlim, Air Itam, will need to plan alternate routes as a section of Lebuhraya Thean Teik will be temporarily closed from 9pm to 5am on April
Standard first-order logic has three important closure properties. First, it is closed under relation, also is closure under predicate substitutions. Moreover, it is closed under some kind of product construction. The three properties also hold in many languages extending first-order logic with adde...
The function execution ends, then the execution context of the function will be destroyed. Why use a stack structure to manage function calls? We know that most high-level languages use the stack structure to manage function calls. Why? This is related to the characteristics of the fun...