Lessons from INR in the specification of transductions

From National Research Council Canada

DOIResolve DOI: https://doi.org/10.1007/3-540-44674-5_33
AuthorSearch for: 1
Name affiliation
  1. National Research Council of Canada. NRC Institute for Information Technology
FormatText, Book chapter
Proceedings titleImplementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers
Series titleLecture Notes in Computer Science; no. 2088
Conference5th International Conference on Implementation and Application of Automata (CIAA 2000), July 24-25, 2000, London, Ontario, Canada
ISSN0302-9743
ISBN978-3-540-42491-8
978-3-540-44674-3
Pages335–336
Abstract
Finite state transductions have been shown to be quite useful in a number of areas; however, it is still the case that it is often difficult to express certain kinds of transductions without resorting to a state and transition view. INR was developed to explore this problem, and several applications of transduction were studied as exercises in specification during INR’s development. The specification of the NYSIIS phonetic encoding function (developed for the New York State Identification and Intelligence System) provides a clear example of many important ideas. An INR specification for NYSIIS is provided, which is syntactically simlar to the prose description and from which INR can directly produce the 149 state subsequential transducer.
Publication date
PublisherSpringer Berlin Heidelberg
Springer Berlin Heidelberg
LanguageEnglish
Peer reviewedYes
NRC numberNRCC 44148
NPARC number8914061
Export citationExport as RIS
Report a correctionReport a correction
Record identifiere16db077-3d0d-4068-a32b-6d2d5abe5d1d
Record created2009-04-22
Record modified2020-06-12
Report a problem on this page
Date modified: