% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            tones.dtr                                                %
% Purpose:         FSTs for two West African tone sandhi systems            %
% Author:          Dafydd Gibbon, September 1989                            %
% Email:           gibbon@spectrum.uni-bielefeld.de                         %
% Address:         Univ. Bielefeld, P 100131, D-33501, Bielefeld, Germany   %
% Documentation:   see paper cited below                                    %
% Related files:   dfsa1.dtr, dfst2.dtr, dfst3.dtr, phon_fst.dtr            %
% Version:         1.01                                                     %
%     Copyright (c) University of Bielefeld 1989.  All rights reserved.     %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% Dafydd Gibbon (1987) "Finite state processing of tone systems" Proceedings
% of the 3rd Conference,  European ACL,  291-297.

% The TEM transducer illustrates a straightforward DATR FST.  The BAULE
% transducer shows the high degree of expressiveness of DATR in
% comparison with classical FST notation.  Seven states are reduced to
% three, and further reduction is possible with multi-atom paths.
% Moreover, typological similarities and differences between the two
% systems are clearer

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

% The TEM transducer (generation function)

Tem_q0:
        <>   == 
        <h>  == hc Tem_q1:<>
        <l>  == lc Tem_q2:<>.

% After a high tone:

Tem_q1:
        <>   == Tem_q0
        <h>  == h <>
        <*l> == lc
        <l>  == h Tem_q2:<>.

% After a low tone:

Tem_q2:
        <>   == Tem_q0
        <h>  == !h Tem_q1:<>
        <l> == lc <>.

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

% The BAULE transducer (generation function):
%    1. locally, but not globally nondeterministic,
%    2. longer paths indicate lookahead.

Baule_q0:
        <>    == 
        <h>   == hc Baule_q1:<>
        <l>   == lc Baule_q2:<>.

% After a high tone:

Baule_q1:
        <>    == Baule_q2
        <h>   == h <>
        <l l> == h l Baule_q2:<>.

% After a low tone:

Baule_q2:
        <>    == Baule_q0
        <h>   == !h Baule_q1:<>
        <h h> == l !h Baule_q1:<>
        <l>   == l <>.

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

% Some example theorems:
%
% Tem_q0:
%       <l l l l> = lc lc lc lc
%       <h h h> = hc h h
%       <l h h> = lc !h h
%       <l h l l> = lc !h h lc
%       <l h *l> = lc !h lc
%       <l l l h> = lc lc lc !h
%       <l h l h> = lc !h h !h
%       <l h l l h> = lc !h h lc !h
%       <l h l h h> = lc !h h !h h
%       <l h l l h l l> = lc !h h lc !h h lc
%       <l h l h h h> = lc !h h !h h h
%       <h l h l l> = hc h !h h lc
%       <h l l l l> = hc h lc lc lc .
% 
% Baule_q0:
%       <h l l> = hc h l
%       <l l l h l l l> = lc l l !h h l l
%       <l h h h h> = lc l !h h h
%       <h l h h h h> = hc l l !h h h
%       <l l l l h l> = lc l l l !h l
%       <l h l h l> = lc !h l !h l
%       <l h> = lc !h
%       <h h> = hc h
%       <l l> = lc l
%       <h l> = hc l.

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

# hide Tem_q1 Tem_q2 Baule_q1 Baule_q2.

# show <l l l l> <h h h> <l h h> <l h l l> <l h *l> <l l l h> <l h l h>
       <l h l l h> <l h l h h> <l h l l h l l> <l h l h h h> <h l h l l>
       <h l l l l> <h l l> <l l l h l l l> <l h h h h> <h l h h h h>
       <l l l l h l> <l h l h l> <l h> <h h> <l l> <h l>.

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

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