Generating languages by a derivation procedure for elementary formal systems

Information Processing Letters

Volumn 69, Issue 4, 1999, Pages 161-166

  Sugimoto, Noriko ^a   Ishizaka, Hiroki ^a  

^a KYUSHU INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; LOGIC PROGRAMMING; SET THEORY; THEOREM PROVING;

ELEMENTARY FORMAL SYSTEMS (EFS); MAXIMALLY GENERAL UNIFIERS (MXGU);

CONTEXT SENSITIVE LANGUAGES;

EID: 0033604964     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(99)00006-X     Document Type: Article

References (17)

1. A.V. Aho, J.D. Ullman, Properties of syntax directed translations, J. Comput. System Sci. 3 (1969) 319-334.
2. A.V. Aho, J.D. Ullman, Syntax directed translation and the pushdown assembler, J. Comput. System Sci. 3 (1969) 37-56.
3. S. Arikawa, T. Shinohara, A. Yamamoto, Learning elementary formal systems, Theoret. Comput. Sci. 95 (1992) 97-113.
4. S. Ginsburg, The Mathematical Theory of Context-Free Languages, McGraw-Hill, New York, 1966.
5. J. Jaffar, Minimal and complete word unification, J. ACM 37 (1990) 47-85.
6. D. Kapur, Complexity of unification problems with associative-commutative operators, Automat. Reasoning 9 (1992) 261-288.
7. K. Knight, Unification: A multidisciplinary survey, ACM Comput. Surveys 21 (1) (1989) 607-639.
8. P.M. Lewis, R.E. Stearns, Syntax-directed transduction, J. ACM 15 (3) (July 1968) 465-488.
9. P.M. Lewis, R.E. Stearns, Syntax-directed transduction, J. ACM 15 (1986) 465-488.
10. J.W. Lloyd, Foundations of Logic Programming, 2nd Edn., Springer, Berlin, 1987.
11. G.S. Makanin, The problem of solvability of equations in a free semigroup, Math. USSR-Sb. 32 (1977) 129-198.
12. T. Shinohara, Rich classes inferable from positive data: Length-bounded elementary formal system, Inform. and Comput. 108 (1994) 175-186.
13. R.M. Smullyan, Theory of Formal Systems, Princeton University Press, Princeton, NJ, 1961.
14. N. Sugimoto, Properties of elementary formal systems as translation grammars, Technical Report RIFIS-TR-CS 107, Kyushu University, Iizuka, 1995.
15. N. Sugimoto, K. Hirata, H. Ishizaka, Constructive learning of translations based on dictionaries, in: Lecture Notes in Artificial Intelligence 1160, Springer, Berlin, 1996, pp. 177-184.
16. N. Sugimoto, H. Ishizaka, Polynomial time learnability of deterministic right linear translations, Technical Report RIFIS-TR-CS 120, Kyushu University, Iizuka, 1995.
17. A. Yamamoto, Procedural semantics and negative information of elementary formal system, J. Logic Programming 13 (1992) 89-97.