% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            spelling.dtr                                             %
% Purpose:         example FST to implement English spelling rules          %
% Author:          Gerald Gazdar, 17th November, 1994                       %
% Email:           geraldg@cogs.sussex.ac.uk                                %
% Address:         COGS, Sussex University, Brighton BN1 9QH, UK            %
% Related files:   dfst2.dtr, dfst3.dtr                                     %
% Version:         1.00                                                     %
%                                                                           %
%      Copyright (c) University of Sussex 1994.  All rights reserved.       %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

# vars $abc: a b c d e f g h i j k l m n o p q r s t u v w x y z.

# vars $vow: a e i o u.

SPELL:
    <> ==
    <+> == <>
    <$abc> == $abc <>
    <e + $vow> == $vow <>.

% Some example theorems:
%
% SPELL:
%   <l o v e>           = l o v e
%   <l o v e + s>       = l o v e s
%   <l o v e + e d>     = l o v e d
%   <l o v e + e r>     = l o v e r
%   <l o v e + l y>     = l o v e l y
%   <l o v e + i n g>   = l o v i n g
%   <l o v e + a b l e> = l o v a b l e.

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

# show
    <l o v e>
    <l o v e + s>
    <l o v e + e d>
    <l o v e + e r>
    <l o v e + l y>
    <l o v e + i n g>
    <l o v e + a b l e>.

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% The next line is the Revision Control System Id: do not delete it.
% $Id: archive.dtr,v 1.1 1997/04/09 20:40:33 root Exp $