% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            mix2.dtr                                                 %
% Purpose:         a recognizer for MIX using quoted DATR descriptors       %
% Author:          Gerald Gazdar, 24th December 1993                        %
% Email:           geraldg@cogs.sussex.ac.uk                                %
% Address:         COGS, Sussex University, Brighton BN1 9QH, UK            %
% Related files:   mix1.dtr, anbncn.dtr, xx2.dtr                            %
% Version:         1.00                                                     %
%                                                                           %
%      Copyright (c) University of Sussex 1993.  All rights reserved.       %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% See mix1.dtr for some background on the language MIX, and for comments on
% the DATR code -- most is common between mix1.dtr and mix2.dtr.

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

# vars $char: a b c ; .

Idem:
        <> ==
        <$char> == $char <>.

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

% X is a node defined so as to extract the commonality of the functions A, B
% and C.  It has no other role.

# vars $x: a b c .

X:
        <$x> == $x "<>"
        <;> == ; Idem:<>.

A:
        <>  == X
        <a> == Idem:<> a.

B:
        <>  == X
        <b> == Idem:<> b.

C:
        <>  == X
        <c> == Idem:<> c.

UNMIX:
        <>         == <goto_A>
        <goto_A ;> == Idem:<>
        <goto_A>   == <goto_B "A:<>" !>
        <goto_B ;> == Idem:<>
        <goto_B>   == <goto_C "B:<>" !>
        <goto_C ;> == Idem:<>
        <goto_C>   == <goto_A "C:<>" !>.

ABC:
        <> == fail
        <a b c> == <>
        <a b c ;> == succeed.

MIX:
        <> == ABC:<UNMIX:<> ;>.

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

# show  <a b ;>
        <a b c ;>
        <a b b ;>
        <c b a ;>
        <a b c c b a ;>
        <b c c b a a ;>
        <b c a b a a ;>
        <b c a b a a c ;>
        <c a b a a c c b b ;>
        <a c c c b c b a b a a c c b b ;>
        <c a b a a c c b c b a b a a c c b b ;>.

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