% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            fstmonth.dtr                                             %
% Purpose:         FST to map month abbreviations to full month names       %
%                  shows how the search for generalization at any cost      %
%                  can make a trivial task into an unintelligible one.      %
% Author:          Umberto Eco, 1st October, 1994                           %
% Related files:   travel.dtr                                               %
% Version:         11.23                                                    %
%                                                                           %
%      Copyright (c) University of Andorra 1994.  All rights reserved.      %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

# atom A D F J M MB N O S UR.

# vars $cap: A D F J M N O S.
# vars $seg: 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.

Month:
    <> == Rest1
    <$cap a r> == $cap a Rest2:<r c h>
    <$cap e c> == $cap e Rest2:<c MB>
    <$cap p r> == $cap p Rest2:<r i l>
    <$cap u n> == $cap u Rest2:<n e>.

Rest1:
    <> == Rest2
    <$cap $seg> == $cap $seg <>
    <b> == b Rest2:<r UR>
    <g> == g Rest2:<u s t>
    <l> == l Rest2:<y>
    <n> == n Rest2:<UR>
    <p> == p Rest2:<t MB>
    <t> == t Rest2:<o BR>
    <v> == v Rest2:<MB>.
   
Rest2:
    <> == 
    <BR> == <b e r>
    <MB> == <e m BR>
    <UR> == <u a r y>
    <$seg> == $seg <>.

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

% Example theorems:
%
% Month:
%   <J a n> = J a n u a r y
%   <F e b> = F e b r u a r y
%   <M a r> = M a r c h
%   <A p r> = A p r i l
%   <M a y> = M a y
%   <J u n> = J u n e
%   <J u l> = J u l y
%   <A u g> = A u g u s t
%   <S e p> = S e p t e m b e r
%   <O c t> = O c t o b e r
%   <N o v> = N o v e m b e r
%   <D e c> = D e c e m b e r.

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

# hide Rest1 Rest2.

# show
    <J a n> <F e b> <M a r> <A p r> <M a y> <J u n> <J u l> <A u g> <S e p>
    <O c t> <N o v> <D e c>. 

% 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 $