Generating languages by a derivation procedure for elementary formal systems
From MaRDI portal
Publication:294648
DOI10.1016/S0020-0190(99)00006-XzbMath1338.68162OpenAlexW1996067401MaRDI QIDQ294648
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
Cites Work
- Unnamed Item
- Unnamed Item
- Complexity of unification problems with associative-commutative operators
- Learning elementary formal systems
- Rich classes inferable from positive data: Length-bounded elementary formal systems
- Properties of syntax directed translations
- Syntax directed translations and the pushdown assembler
- Minimal and complete word unification
- Constructive learning of translations based on dictionaries
- Unification: a multidisciplinary survey
- Short note: procedural semantics and negative information of elementary formal system
- THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
- Syntax-Directed Transduction
- Monadic Elementary Formal Systems
This page was built for publication: Generating languages by a derivation procedure for elementary formal systems
