Topic
Formal language
About: Formal language is a research topic. Over the lifetime, 5763 publications have been published within this topic receiving 154114 citations.
Papers published on a yearly basis
Papers
More filters
••
TL;DR: A new semantics for multiset rewriting founded on an alternative view of linear logic is presented and a completely new approach to understanding concurrent and distributed programming as a manifestation of logic is proposed, which yields a language that merges those two main paradigms of concurrency.
51 citations
••
TL;DR: It is proven that neither negative goals, partial initial states nor multi-valued state variables increase the expressiveness of “standard” propositional STRIPS under ESP reduction.
51 citations
••
08 Sep 1998
TL;DR: In this paper, decision procedures based on regions for two problems on pure unbounded Petri nets with injective labeling are proposed, one problem is to construct nets from incomplete specifications, given by pairs of regular languages that impose respectively upper and lower bounds on the expected behaviours.
Abstract: We propose decision procedures based on regions for two problems on pure unbounded Petri nets with injective labelling. One problem is to construct nets from incomplete specifications, given by pairs of regular languages that impose respectively upper and lower bounds on the expected behaviours. The second problem is to derive equivalent nets from deterministic pushdown automata, thus exhibiting their hidden concurrency.
51 citations
••
TL;DR: There is a quantum automaton where the change of state depends on unitary transformations defined by matrices with nonnull amplitudes that accepts a non regular language with cut point zero and inverse error polynomially bounded.
51 citations
••
01 Apr 1997
TL;DR: The chapter by S. Marcus in this handbook gives a lucid account of the motivation behind contextual grammars from the natural point of view.
Abstract: Contextual grammars were introduced by S. Marcus in 1969 [29], in an attempt to build a bridge between analytical and generative models of natural languages. In particular, contextual grammars were “translating” the central notion of context from the analytical models into the framework of generative grammars. The chapter by S. Marcus in this handbook [31] gives a lucid account of the motivation behind contextual grammars from the natural point of view.
51 citations