Conseil national de recherches du Canada. Institut de technologie de l'information du CNRC
Texte, Chapitre de livre
5th International Conference on Implementation and Application of Automata (CIAA 2000), July 24-25, 2000, London, Ontario, Canada
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.
Date de publication
Springer Berlin Heidelberg
Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers (2001) : 335–336.