Open AccessBook
Handbook of formal languages, vol. 1: word, language, grammar
Grzegorz Rozenberg,Arto Salomaa +1 more
About:
The article was published on 1997-04-01 and is currently open access. It has received 155 citations till now. The article focuses on the topics: Affix grammar & Regular grammar.read more
Citations
More filters
Proceedings ArticleDOI
Typechecking for XML transformers
Tova Milo,Dan Suciu,Victor Vianu +2 more
TL;DR: The main result of the paper is that typechecking for k-pebble transducers is decidable, and therefore, typechecking can be performed for a broad range of XML transformation languages, including XML-QL and a fragment of XSLT.
Journal ArticleDOI
Fuzzy reasoning spiking neural P system for fault diagnosis
TL;DR: This work extends SN P systems by introducing some new ingredients (such as three types of neurons, fuzzy logic and new firing mechanism) and proposes the fuzzy reasoning spiking neural P systems (FRSN P systems), which are particularly suitable to model fuzzy production rules in a fuzzy diagnosis knowledge base and their reasoning process.
Journal Article
On String Languages Generated by Spiking Neural P Systems
TL;DR: In this paper, the authors consider spiking neural P systems as binary string generators, where the set of spike trains of halting computations of a given system constitutes the language generated by that system.
Proceedings Article
Fast and precise sanitizer analysis with BEK
TL;DR: BEK is a language and system for writing sanitizers that enables precise analysis of sanitizer behavior, including checking idempotence, commutativity, and equivalence, and programs written in BEK can be compiled to traditional languages such as JavaScript and C#, making it possible for web developers to writesanitizers supported by deep analysis, yet deploy the analyzed code directly to real applications.
Journal ArticleDOI
Simple Recurrent Networks Learn Context-Free and Context-Sensitive Languages by Counting
TL;DR: A range of language tasks are shown in which an SRN develops solutions that not only count but also copy and store counting information, demonstrating how SRNs may be an alternative psychological model of language or sequence processing.