Lessons from INR in the specification of transductions

  1. Get@NRC: Lessons from INR in the specification of transductions (Opens in a new window)
DOIResolve DOI: http://doi.org/10.1007/3-540-44674-5_33
AuthorSearch for:
TypeBook 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; Volume 2088
Conference5th International Conference on Implementation and Application of Automata (CIAA 2000), July 24-25, 2000, London, Ontario, Canada
AbstractFinite 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
AffiliationNRC Institute for Information Technology; National Research Council Canada
Peer reviewedYes
NRC number44148
NPARC number8914061
Export citationExport as RIS
Report a correctionReport a correction
Record identifiere16db077-3d0d-4068-a32b-6d2d5abe5d1d
Record created2009-04-22
Record modified2016-06-29
Bookmark and share
  • Share this page with Facebook (Opens in a new window)
  • Share this page with Twitter (Opens in a new window)
  • Share this page with Google+ (Opens in a new window)
  • Share this page with Delicious (Opens in a new window)
Date modified: