Generating languages by a derivation procedure for elementary formal systems

DOI10.1016/S0020-0190(99)00006-XMaRDI QIDQ294648zbMATH OpenOpenAlexFDO

Authors Noriko Sugimoto, Hiroki Ishizaka

Publication date 16 June 2016

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/article/pii/S002001909900006X?np=y

zbMATH Keywords

formal languagesunificationelementary formal system

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3293666 (Why is no real title available?)
• Complexity of unification problems with associative-commutative operators
• Constructive learning of translations based on dictionaries
• Learning elementary formal systems
• Minimal and complete word unification
• Monadic Elementary Formal Systems
• Properties of syntax directed translations
• Rich classes inferable from positive data: Length-bounded elementary formal systems
• Short note: procedural semantics and negative information of elementary formal system
• Syntax directed translations and the pushdown assembler
• Syntax-Directed Transduction
• THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
• Unification: a multidisciplinary survey

This page was built for publication: Generating languages by a derivation procedure for elementary formal systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q294648)