Results 1  10
of
765,463
Formal Languages
, 1973
"... Close to 30 percent of all patents are chemical patents, of which roughly 10 percent claim IP rights over novel chemical structures using the Markush notation[15]. An example of an approved patent with claims on a series of 4anilino3quinolinecarbonitrilesbased chemical structures for the ..."
Abstract

Cited by 563 (41 self)
 Add to MetaCart
Close to 30 percent of all patents are chemical patents, of which roughly 10 percent claim IP rights over novel chemical structures using the Markush notation[15]. An example of an approved patent with claims on a series of 4anilino3quinolinecarbonitrilesbased chemical structures for the
Formal Languages
"... Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In this paper we show how a framework based on a concise formal model lets us securely customize a payment card equipped with ..."
Abstract
 Add to MetaCart
Purpose and ApplicationBased Systems realtime and embedded systems, smartcards; D.2.4 [Software Engineering]: Software/Program Verification formal methods; model checking; D.2.11 [Software Engineering]: Software Architectures domainspecific architectures; languages (e.g., description, interconnection,
Heyting Algebras and Formal Languages
"... Abstract: By introducing a new operation, the exponentiation of formal languages, we can define Heyting algebras of formal languages. It turns out that some well known families of languages are closed under this exponentiation, e. g., the families of regular and of contextsensitive languages. ..."
Abstract
 Add to MetaCart
Abstract: By introducing a new operation, the exponentiation of formal languages, we can define Heyting algebras of formal languages. It turns out that some well known families of languages are closed under this exponentiation, e. g., the families of regular and of contextsensitive languages.
Analogy and Formal Languages
 In Proceedings of FG/MOL 2001
, 2001
"... In this paper, we advocate a study of analogies between strings of symbols for their own sake. We show how some sets of strings, i.e., some formal languages, may be characterized by use of analogies. We argue that some preliminary \good properties" obtained may plead in favour of the use of ana ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
In this paper, we advocate a study of analogies between strings of symbols for their own sake. We show how some sets of strings, i.e., some formal languages, may be characterized by use of analogies. We argue that some preliminary \good properties" obtained may plead in favour of the use
An Invitation for Formal Language Theorists
"... Why should Formal Language specialists get interested and involved in the area of Grammar Induction (GI), likewise known as Grammatical Inference? This is the question we try to answer in this paper. To keep this paper short, we mostly refrain from giving technical details but rather cite according ..."
Abstract
 Add to MetaCart
Why should Formal Language specialists get interested and involved in the area of Grammar Induction (GI), likewise known as Grammatical Inference? This is the question we try to answer in this paper. To keep this paper short, we mostly refrain from giving technical details but rather cite according
Automata and Formal Languages
, 2003
"... This article provides an introduction to the theory of automata and formal languages. The elements are presented in a historical perspective and the links with other areas are underlined. In particular, applications of the field to linguistics, software design, text processing, computational alg ..."
Abstract
 Add to MetaCart
This article provides an introduction to the theory of automata and formal languages. The elements are presented in a historical perspective and the links with other areas are underlined. In particular, applications of the field to linguistics, software design, text processing, computational
Formal languages and groups as memory
, 2006
"... Abstract. We present an exposition of the theory of Mautomata and Gautomata, or finite automata augmented with a multiplyonly register storing an element of a given monoid or group. Included are a number of new results of a foundational nature. We illustrate our techniques with a grouptheoretic ..."
Abstract

Cited by 11 (4 self)
 Add to MetaCart
theoretic interpretation and proof of a key theorem of Chomsky and Schützenberger from formal language theory. 1.
Number Theory And Formal Languages
 Emerging Applications of Number Theory, IMA Volumes in Mathematics and Applications
, 1999
"... . I survey some of the connections between formal languages and number theory. Topics discussed include applications of representation in base k, representation by sums of Fibonacci numbers, automatic sequences, transcendence in finite characteristic, automatic real numbers, fixed points of homomorp ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
. I survey some of the connections between formal languages and number theory. Topics discussed include applications of representation in base k, representation by sums of Fibonacci numbers, automatic sequences, transcendence in finite characteristic, automatic real numbers, fixed points
Enumeration of Formal Languages
"... We survey recent results on the enumeration of formal languages. In particular, we consider enumeration of regular languages accepted by deterministic and nondeterministic finite automata with n states, regular languages generated by regular expressions of a fixed length, and ωregular languages acc ..."
Abstract
 Add to MetaCart
We survey recent results on the enumeration of formal languages. In particular, we consider enumeration of regular languages accepted by deterministic and nondeterministic finite automata with n states, regular languages generated by regular expressions of a fixed length, and ωregular languages
Results 1  10
of
765,463