Th. Kretschmer, A closure property of regular languages, Theoret. Comput. Sci. 61 (1988) 283-287. [9] K. Madlener, P. Narendran, F. Otto and L. Zhang, On weakly confluent monadic string-rewritingT. Kretschmer, A closure property of regular languages, Theoret Comput. Sci. , 61 (...
THE CONGRUENCE THEORY OF CLOSURE-PROPERTIES OF REGULAR TREE-LANGUAGES TIRRI,S - 《Theoretical Computer Science》 被引量: 3发表: 1990年 THE CONGRUENCE THEORY OF CLOSURE-PROPERTIES OF REGULAR TREE-LANGUAGES -TIRRI-THEOR COMPUT SCITirri S (1990) The congruence theory of closure properties of regular...
Keywords Closure properties Recognizable languages Recognizable graph languages Concatenation Adhesive categories Sorry, something went wrong. Please try again and make sure cookies are enabledReferences [1] Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König A lattice-theoretical...
摘要: This article is an investigation to the theory of ω-languages. The characterization of linear ω-languages by automaton and grammars is given. The closure properties by boolean and topological operations for such a family of ω-languages are studied.关键词:...
We study the Kleene closure operation on regular and prefix-free languages. Using an alphabet of size 2n, we get the contiguous range from 1 to 3/4·2n of complexities of the Kleene closure of regular languages accepted by minimal n-state deterministic finite automata. In the case of prefix...
Code of conduct Apache-2.0 license Security google-closure-compiler Check, compile, optimize and compress JavaScript with Closure-Compiler This repository tracks issues related to the publication to npmjs.org and associated plugins. Any bugs not related to the plugins themselves should be reported to...
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 ...
Resources Readme License MIT license Activity Custom properties Stars 1.9k stars Watchers 34 watching Forks 239 forks Report repository Releases 86 tags Packages No packages published Used by 1.1k + 1,053 Contributors 77 + 63 contributors Languages Ruby 99.6% HTML 0.4% Footer...
A Theory of Computation Based on Quantum Logic (I) The closure properties of orthomodular lattice-valued regular languages are derived. The Kleene theorem about equivalence of regular expressions and finite ... M Ying - 《Theoretical Computer Science》 被引量: 152发表: 2005年 Automata and fixed...
output- An object with eitherfilenameorchunkfilenameproperties. Used to override the output file naming for a particular compilation. Seehttps://webpack.js.org/configuration/output/for details. test- An optional string or regular expression to determine whether a chunk is included in the compilatio...