Syntax-Directed Transduction

Authors:
P. M. Lewis, II;R. E. Stearns
Affiliations:
General Electric Research and Development Center, Schenectady, New York;General Electric Research and Development Center, Schenectady, New York
Venue:
Journal of the ACM (JACM)
Year:
1968

Citing 1
Cited 84

A syntax directed compiler for ALGOL 60

Communications of the ACM

Attribute grammar paradigms—a high-level methodology in language implementation

ACM Computing Surveys (CSUR)
Regularity and Related Problems for Deterministic Pushdown Automata

Journal of the ACM (JACM)
Initial Algebra Semantics and Continuous Algebras

Journal of the ACM (JACM)
Lower Bounds and Reductions Between Grammar Problems

Journal of the ACM (JACM)
The Vienna Definition Language

ACM Computing Surveys (CSUR)
LR Parsing

ACM Computing Surveys (CSUR)
A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling

ACM Transactions on Programming Languages and Systems (TOPLAS)
A simple recovery-only procedure for simple precedence parsers

Communications of the ACM
Deterministic parsing of ambiguous grammars

Communications of the ACM
Translation equations

Communications of the ACM
MPACT: microprocessor application to control-firmware translator

ACM SIGDA Newsletter
Tree transformation techniques and experiences

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Deterministic parsing of ambiguous grammars

POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Top down operator precedence

POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the complexity of the circularity test for attribute grammars

POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Automatic generation of near-optimal linear-time translators for non-circular attribute grammars

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Learnability of Translations from Positive Examples

ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Computational parallels between the regular and context-free languages

STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
A new grammatical transformation into LL(k) form (Extended Abstract)

STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
Jump PDA's, deterministic context-free languages principal AFDLs and polynomial time recognition—(Extended Abstract)

STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Attributed translations(Extended Abstract)

STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
A technique for speeding up LR(k) parsers

STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing
On syntax-directed transduction and tree transducers

STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Translations on a context free grammar

STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
Transformations and translations from the point of view of generalized finite automata theory

STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
Properties of deterministic top down grammars

STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
W-grammar

ACM '69 Proceedings of the 1969 24th national conference
On the use of syntax-based translators for symbolic and algebraic manipulation

SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
An approach to compiler correctness

Proceedings of the international conference on Reliable software
REGULUS: A general purpose macro processor based on regular expressions part one

ACM '77 Proceedings of the 1977 annual conference
Alternating semantic evaluator

ACM '75 Proceedings of the 1975 annual conference
Automatic generation of efficient evaluators for attribute grammars

POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Learning dependency translation models as collections of finite-state head transducers

Computational Linguistics - Special issue on finite-state methods in NLP
Stochastic inversion transduction grammars and bilingual parsing of parallel corpora

Computational Linguistics
Introduction to Oregano

ACM SIGPLAN Notices
Approximating context-free by rational transduction for example-based MT

DMMT '01 Proceedings of the workshop on Data-driven methods in machine translation - Volume 14
Right nulled GLR parsers

ACM Transactions on Programming Languages and Systems (TOPLAS)
On the analysis of fuzzy string patterns with the help of extended and stochastic GDPLL(k) grammars

Fundamenta Informaticae - Special issue on theory and applications of soft computing (TASC04)
The Hiero machine translation system: extensions, evaluation, and analysis

HLT '05 Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing
Efficient algorithms for richer formalisms: parsing and machine translation

NAACL-DocConsortium '06 Proceedings of the 2006 Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology: companion volume: doctoral consortium
Hierarchical Phrase-Based Translation

Computational Linguistics
Stochastic Syntax-Directed Translation Schemata for Correction of Errors in Context-Free Languages

IEEE Transactions on Computers
A Structure-Based Model for Chinese Organization Name Translation

ACM Transactions on Asian Language Information Processing (TALIP)
Statistical machine translation

ACM Computing Surveys (CSUR)
A system for designing fast programming language translators

AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
A translation grammar for ALGOL 68

AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
Some syntactic methods for specifying extendible programming languages

AFIPS '69 (Fall) Proceedings of the November 18-20, 1969, fall joint computer conference
Applications of language theory to compiler design

AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Microtext: the design of a microprogrammed finite state search machine for full-text retrieval

AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
The linguistic string parser

AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
The VALI (Variable Language Interpreter)

AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Probabilistic inference for machine translation

EMNLP '08 Proceedings of the Conference on Empirical Methods in Natural Language Processing
A linguistics oriented programming language

IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Improving phrase-based translation via word alignments from stochastic inversion transduction grammars

SSST '09 Proceedings of the Third Workshop on Syntax and Structure in Statistical Translation
A syntax-directed translator with extended domain of locality

CHSLP '06 Proceedings of the Workshop on Computationally Hard Problems and Joint Inference in Speech and Language Processing
Recognizing paraphrases and textual entailment using inversion transduction grammars

EMSEE '05 Proceedings of the ACL Workshop on Empirical Modeling of Semantic Equivalence and Entailment
Correspondence-guided synchronous parsing of parallel corpora

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Stochastic inversion transduction grammars with application to segmentation, bracketing, and alignment of parallel corpora

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Improving structural statistical machine translation for sign language with small corpus using thematic role templates as translation memory

IEEE Transactions on Audio, Speech, and Language Processing
Parsing word-aligned parallel corpora in a grammar induction context

ParaText '05 Proceedings of the ACL Workshop on Building and Using Parallel Texts
Automated generation of program translation and verification tools using annotated grammars

Science of Computer Programming
A Gibbs sampler for phrasal synchronous grammar induction

ACL '09 Proceedings of the Joint Conference of the 47th Annual Meeting of the ACL and the 4th International Joint Conference on Natural Language Processing of the AFNLP: Volume 2 - Volume 2
Learning stochastic bracketing inversion transduction grammars with a cubic time biparsing algorithm

IWPT '09 Proceedings of the 11th International Conference on Parsing Technologies
Pair grammars, graph languages and string-to-graph translations

Journal of Computer and System Sciences
Abstract families of relations

Journal of Computer and System Sciences
Syntax directed translations and the pushdown assembler

Journal of Computer and System Sciences
Properties of syntax directed translations

Journal of Computer and System Sciences
Generalized overlap resolvable grammars and their parsers

Journal of Computer and System Sciences
Attributed translations

Journal of Computer and System Sciences
Generalized2 sequential machine maps

Journal of Computer and System Sciences
On the use of graph parsing for recognition of isolated hand postures of Polish Sign Language

Pattern Recognition
Derived types in semantic association discovery

Journal of Intelligent Information Systems
Two monolingual parses are better than one (synchronous parse)

HLT '10 Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics
Linear inversion transduction grammar alignments as a second translation path

WMT '10 Proceedings of the Joint Fifth Workshop on Statistical Machine Translation and MetricsMATR
Pure and declarative syntax definition: paradise lost and regained

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Preservation of recognizability for synchronous tree substitution grammars

ATANLP '10 Proceedings of the 2010 Workshop on Applications of Tree Automata in Natural Language Processing
A decoder for probabilistic synchronous tree insertion grammars

ATANLP '10 Proceedings of the 2010 Workshop on Applications of Tree Automata in Natural Language Processing
Hierarchical phrase-based translation with weighted finite-state transducers and shallow-n grammars

Computational Linguistics
Textual entailment recognition using inversion transduction grammars

MLCW'05 Proceedings of the First international conference on Machine Learning Challenges: evaluating Predictive Uncertainty Visual Object Classification, and Recognizing Textual Entailment
Inversion transduction grammar constraints for mining parallel sentences from quasi-comparable corpora

IJCNLP'05 Proceedings of the Second international joint conference on Natural Language Processing
Machine translation based on constraint-based synchronous grammar

IJCNLP'05 Proceedings of the Second international joint conference on Natural Language Processing
A generalized view on parsing and translation

IWPT '11 Proceedings of the 12th International Conference on Parsing Technologies
A bayesian model for learning SCFGs with discontiguous rules

EMNLP-CoNLL '12 Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning
Streaming algorithms for language recognition problems

Theoretical Computer Science

Quantified Score

Hi-index	0.05

Visualization

Abstract

A transduction is a mapping from one set of sequences to another. A syntax-directed transduction is a particular type of transduction which is defined on the grammar of a context-free language and which is meant to be a model of part of the translation process used in many compilers. The transduction is considered from an automata theory viewpoint as specifying the input-output relation of a machine. Special consideration is given to machines called translators which both transduce and recognize. In particular, some special conditions are investigated under which syntax-directed translations can be performed on (deterministic) pushdown machines. In addition, some time bounds for translations on Turing machines are derived.